From: Markus Triska <triska@metalevel.at>
Date: Tue, 16 May 2023 20:42:10 +0000 (+0200)
Subject: FIXED: correctly reset counter in reset_gensym/2 (#1807)
X-Git-Tag: v0.9.2~136^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=021c01dfd03699a62b556c893245dedbd6d126c1;p=scryer-prolog.git

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 86e7ad5b..272e68bd 100644
--- 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).