Add note

GillianPlatform · Sep 14, 2024 · 5f77004 · 5f77004
1 parent 073a430
commit 5f77004
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Gillian-JS/lib/Semantics/JSILSMemory.ml b/Gillian-JS/lib/Semantics/JSILSMemory.ml
@@ -603,6 +603,9 @@ module M = struct
     match i_fix with
     | FLoc v ->
         (* Get a fresh location *)
+        (* This is dodgy, as the old instantiation does a bit more than this for this fix,
+           however it only seemed to add the binding without creating any state, so did it really
+           "do" anything? Bi-abduction is broken for Gillian-JS anyways. *)
         let al = ALoc.alloc () in
         [ ([ Asrt.Pure (Eq (ALoc al, v)) ], Containers.SS.empty) ]
     | FCell (l, p) -> (