change VarNames to VNNames (#476)

diff --git a/src/prolog/lib/charsio.pl b/src/prolog/lib/charsio.pl
index 63c2395bae9a6e94670e71372d871e61c84b407c..6e5a4e933c1b069eaccc5ac1309a90727c7a5158 100644 (file)
--- 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).