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

diff --git a/src/toplevel.pl b/src/toplevel.pl
index 8ff022420099e5eb319f676191fa30504492bdd9..36657d59077010426761a8345ebdcfc4c93f134e 100644 (file)
--- 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