From 1d44d99875ee15bb4939280582e3f429902116f8 Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 30 May 2020 00:17:34 -0600
Subject: [PATCH] correct unexpected bad variables while ensuring better names
 are generated in order (#571)

---
 src/prolog/toplevel.pl | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/src/prolog/toplevel.pl b/src/prolog/toplevel.pl
index f3d6bc12..f07b30d4 100644
--- a/src/prolog/toplevel.pl
+++ b/src/prolog/toplevel.pl
@@ -234,13 +234,15 @@ write_eqs_and_read_input(B, VarList) :-
     '$term_attributed_variables'(VarList, AttrVars),
     copy_term(AttrVars, AttrVars, AttrGoals),
     term_variables(AttrGoals, AttrGoalVars),
-    append([Vars0, AttrVars, AttrGoalVars], Vars),
+    append([Vars0, AttrGoalVars, AttrVars], Vars),
     charsio:extend_var_list(Vars, VarList, NewVarList, fabricated),
     '$get_b_value'(B0),
     gather_query_vars(VarList, OrigVars),
     gather_equations(NewVarList, OrigVars, Equations),
     append(Equations, AttrGoals, Goals),
-    charsio:extend_var_list(AttrGoalVars, VarList, NewVarList0, fabricated),
+    term_variables(Equations, EquationVars),
+    append([AttrGoalVars, EquationVars], Vars1),
+    charsio:extend_var_list(Vars1, VarList, NewVarList0, fabricated),
     (   bb_get('$first_answer', true) ->
         write('   '),
         bb_put('$first_answer', false)
@@ -293,7 +295,8 @@ gather_query_vars([_ = Var | Vars], QueryVars) :-
     (  var(Var) ->
        QueryVars = [Var | QueryVars0],
        gather_query_vars(Vars, QueryVars0)
-    ;  gather_query_vars(Vars, QueryVars)
+    ;
+       gather_query_vars(Vars, QueryVars)
     ).
 gather_query_vars([], []).
 
-- 
2.54.0