change golden files

runtimeverification · Sep 13, 2024 · d456e1a · d456e1a
1 parent 7bf64d5
commit d456e1a
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/test/map-symbolic/lookup-14-spec.k.out.golden b/test/map-symbolic/lookup-14-spec.k.out.golden
@@ -23,8 +23,8 @@
   {
     true
   #Equals
-    Z:MyId in_keys ( ( MAP
-    X:MyId |-> 1 ) [ Y:MyId <- 2 ] )
+    Z:MyId in_keys ( MAP
+    ( X:MyId |-> 1 ) )
   }
 #And
   {

diff --git a/test/map-symbolic/lookup-3-spec.k.out.golden b/test/map-symbolic/lookup-3-spec.k.out.golden
@@ -18,7 +18,7 @@
     true
   #Equals
     Z:MyId in_keys ( MAP
-    ( Y:MyId |-> 2 ) )
+    ( Y:MyId |-> 1 ) )
   }
 #And
   {