update

boogie-org · Jan 2, 2024 · 3de426d · 3de426d
1 parent 8b025dd
commit 3de426d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Test/datatypes/node-client.bpl b/Test/datatypes/node-client.bpl
@@ -42,6 +42,7 @@ modifies ts;
   assert ts->dom[ref_t];
   t := ts->val[ref_t]->top;
   call loc_n, lmap_n := Lmap_Alloc(Node(t, x));
+  call Lmap_Assume(lmap_n, ts->val[ref_t]->stack);
   ref_n := Ref(loc_n->val);
   call lmap_n, lmap_n' := Lmap_Move(lmap_n, ts->val[ref_t]->stack, ref_n);
   ts->val[ref_t]->stack := lmap_n';