FIXED: correctly reset counter in reset_gensym/2 (#1807)

Many thanks to @infradig for detecting this issue and suggesting this correction!
2023-06-23 14:11:31 -06:00
parent 43df2e2649
commit 97bd778745
1 changed files with 2 additions and 1 deletions
@@ -28,4 +28,5 @@ gensym(Base, Unique) :-

 reset_gensym(Base) :-
    atom_si(Base),
-    bb_put(Base, 0).
+    gensym_key(Base, BaseKey),
+    bb_put(BaseKey, 0).