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).