qualify command-line specified goals with user: (#820)

2021-02-19 14:12:34 -07:00
parent a08f5c3016
commit d3442bb08f
1 changed files with 2 additions and 2 deletions
--- a/src/toplevel.pl
+++ b/src/toplevel.pl
@@ -90,9 +90,9 @@ run_goals([g(Gs0)|Goals]) :-
    ),
    read_term_from_chars(Gs1, Goal),
    (   catch(
-            Goal,
+            user:Goal,
            Exception,
-            (write(Gs0), write(' causes: '), write(Exception), nl) % halt?
+            (write(Goal), write(' causes: '), write(Exception), nl) % halt?
        )
    ;   write('Warning: initialization failed for '),
        write(Gs0), nl