From 26d483f2d7a3d1606c8c03b1bd1d88c55039a484 Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 10 May 2020 13:30:30 -0600
Subject: [PATCH] place cut after infinitely expanding VarList in
 write_term_to_chars/3 (#476)

---
 src/prolog/lib/charsio.pl | 1 +
 1 file changed, 1 insertion(+)

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