add missing attributes to List modules

runtimeverification · Sep 23, 2024 · 74f3fa8 · 74f3fa8
1 parent e153832
commit 74f3fa8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/pykwasm/src/pykwasm/kdist/wasm-semantics/data/list-int.k b/pykwasm/src/pykwasm/kdist/wasm-semantics/data/list-int.k
@@ -12,7 +12,7 @@ module LIST-INT
           [ left, function, total, hook(LIST.concat),
             symbol(_ListInt_), smtlib(smt_seq_concat),
             assoc, unit(.ListInt), element(ListIntItem),
-            format(%1%n%2)
+            format(%1%n%2), update(ListInt:set)
           ]
   syntax ListInt ::= ".ListInt"
           [ function, total, hook(LIST.unit), symbol(.ListInt),

diff --git a/pykwasm/src/pykwasm/kdist/wasm-semantics/data/list-ref.k b/pykwasm/src/pykwasm/kdist/wasm-semantics/data/list-ref.k
@@ -12,7 +12,7 @@ module LIST-REF
           [ left, function, total, hook(LIST.concat),
             symbol(_ListRef_), smtlib(smt_seq_concat),
             assoc, unit(.ListRef), element(ListRefItem),
-            format(%1%n%2)
+            format(%1%n%2), update(ListRef:set)
           ]
   syntax ListRef ::= ".ListRef"
           [ function, total, hook(LIST.unit), symbol(.ListRef),