From 56efb4ffba834c09466051e01e0cafebd841768c Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 10 May 2020 15:54:53 -0600
Subject: [PATCH] change VarNames to VNNames (#476)

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

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