diff --git a/src/prolog/lib/charsio.pl b/src/prolog/lib/charsio.pl index e929dc81..63c2395b 100644 --- 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).