From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 19 Feb 2021 21:12:34 +0000 (-0700)
Subject: qualify command-line specified goals with user: (#820)
X-Git-Tag: v0.9.0~150^2~34
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d3442bb08f133410707af49f939fdeb1fa50fd9c;p=scryer-prolog.git

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

diff --git a/src/toplevel.pl b/src/toplevel.pl
index 8ff02242..36657d59 100644
--- 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