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

Many thanks to @infradig for detecting this issue and suggesting this
correction!

diff --git a/src/lib/gensym.pl b/src/lib/gensym.pl
index 86e7ad5b71e119feb17152fda99ee2b44dff8b73..272e68bdc1ee9ddec1888c0051473d9f6a28ba9b 100644 (file)
--- 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).