diff --git a/pykwasm/src/pykwasm/kdist/wasm-semantics/data/list-int.k b/pykwasm/src/pykwasm/kdist/wasm-semantics/data/list-int.k
index e97ead1a7..8606e0f33 100644
--- 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
index 6aecad8f3..d2e8192e7 100644
--- 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),