From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 27 May 2020 17:11:26 +0000 (-0600)
Subject: order generation of variable names in attributed goals after toplevel variables ... 
X-Git-Tag: v0.8.127~61
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=526b56a65067b383187a2b9738703671f2570b82;p=scryer-prolog.git

order generation of variable names in attributed goals after toplevel variables (#465)
---

diff --git a/src/prolog/toplevel.pl b/src/prolog/toplevel.pl
index 17561ece..f3d6bc12 100644
--- a/src/prolog/toplevel.pl
+++ b/src/prolog/toplevel.pl
@@ -240,9 +240,7 @@ write_eqs_and_read_input(B, VarList) :-
     gather_query_vars(VarList, OrigVars),
     gather_equations(NewVarList, OrigVars, Equations),
     append(Equations, AttrGoals, Goals),
-    term_variables(Equations, EqVars0),
-    append([EqVars0, AttrVars, AttrGoalVars], Vars1),
-    charsio:extend_var_list(Vars1, VarList, NewVarList0, fabricated),
+    charsio:extend_var_list(AttrGoalVars, VarList, NewVarList0, fabricated),
     (   bb_get('$first_answer', true) ->
         write('   '),
         bb_put('$first_answer', false)