Oh wow ok

GillianPlatform · Sep 16, 2024 · 6fdcf71 · 6fdcf71
1 parent 7b2ed97
commit 6fdcf71
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/GillianCore/engine/BiAbduction/BiState.ml b/GillianCore/engine/BiAbduction/BiState.ml
@@ -198,6 +198,8 @@ module Make (State : SState.S) = struct
     List.fold_left
       (fun acc a ->
         let* this_state = acc in
+        let lvars = Asrt.lvars a in
+        let this_state = State.add_spec_vars this_state lvars in
         match a with
         | Asrt.Emp -> [ this_state ]
         | Pure f ->