From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 10 May 2020 21:54:53 +0000 (-0600)
Subject: change VarNames to VNNames (#476)
X-Git-Tag: v0.8.123~43
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=56efb4ffba834c09466051e01e0cafebd841768c;p=scryer-prolog.git

change VarNames to VNNames (#476)
---

diff --git a/src/prolog/lib/charsio.pl b/src/prolog/lib/charsio.pl
index 63c2395b..6e5a4e93 100644
--- a/src/prolog/lib/charsio.pl
+++ b/src/prolog/lib/charsio.pl
@@ -133,6 +133,5 @@ write_term_to_chars(Term, Options, Chars) :-
        true
     ),
     term_variables(Term, Vars),
-    extend_var_list(Vars, VarNames, NewVarNames, numbervars),
-    !,
+    extend_var_list(Vars, VNNames, NewVarNames, numbervars),
     '$write_term_to_chars'(Chars, Term, IgnoreOps, NumberVars, Quoted, NewVarNames, MaxDepth).