change VarNames to VNNames (#476)

2020-05-10 15:54:53 -06:00
parent 540bc71873
commit 56efb4ffba
1 changed files with 1 additions and 2 deletions
--- 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).