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

Many thanks to @infradig for detecting this issue and suggesting this correction!
2023-05-16 22:42:10 +02:00
parent 30f222b837
commit 021c01dfd0
1 changed files with 2 additions and 1 deletions
--- a/src/lib/gensym.pl
+++ b/src/lib/gensym.pl
@@ -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).