squash

jberthold · jberthold · commit 34a5867df4d5 · 2024-04-29T15:31:39.000+10:00
diff --git a/booster/library/Booster/Builtin.hs b/booster/library/Booster/Builtin.hs
@@ -1,5 +1,3 @@
-{-# LANGUAGE MultiWayIf #-}
-
 {- |
 Copyright   : (c) Runtime Verification, 2023
 License     : BSD-3-Clause
diff --git a/kore/src/Kore/Builtin/Map.hs b/kore/src/Kore/Builtin/Map.hs
@@ -490,7 +490,7 @@ builtinFunctions key
     | key == Map.elementKey = Just $ Builtin.functionEvaluator evalElement
     | key == Map.unitKey = Just $ Builtin.functionEvaluator evalUnit
     | key == Map.updateKey = Just $ Builtin.functionEvaluator evalUpdate
-    | key == Map.updateAllKey = Just $ Builtin.notImplemented
+    | key == Map.updateAllKey = Just Builtin.notImplemented
     | key == Map.in_keysKey = Just $ Builtin.functionEvaluator evalInKeys
     | key == Map.keysKey = Just $ Builtin.functionEvaluator evalKeys
     | key == Map.keys_listKey = Just $ Builtin.functionEvaluator evalKeysList

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,3 @@`
`1`		`-{-# LANGUAGE MultiWayIf #-}`
`2`		`-`
`3`	`1`	`{- \|`
`4`	`2`	`Copyright : (c) Runtime Verification, 2023`
`5`	`3`	`License : BSD-3-Clause`