From 3de426dec724f448a8d08edec54e1f9031f93e44 Mon Sep 17 00:00:00 2001
From: Shaz Qadeer <shaz.qadeer@gmail.com>
Date: Tue, 2 Jan 2024 13:03:23 -0800
Subject: [PATCH] update

---
 Test/datatypes/node-client.bpl | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Test/datatypes/node-client.bpl b/Test/datatypes/node-client.bpl
index f66771afa..15e526e4e 100644
--- 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';