place cut after infinitely expanding VarList in write_term_to_chars/3 (#476)

diff --git a/src/prolog/lib/charsio.pl b/src/prolog/lib/charsio.pl
index e929dc816bd063179bea3829d934022f2ca17ea7..63c2395bae9a6e94670e71372d871e61c84b407c 100644 (file)
--- a/src/prolog/lib/charsio.pl
+++ b/src/prolog/lib/charsio.pl
@@ -134,4 +134,5 @@ write_term_to_chars(Term, Options, Chars) :-
     ),
     term_variables(Term, Vars),
     extend_var_list(Vars, VarNames, NewVarNames, numbervars),
+    !,
     '$write_term_to_chars'(Chars, Term, IgnoreOps, NumberVars, Quoted, NewVarNames, MaxDepth).