From d3442bb08f133410707af49f939fdeb1fa50fd9c Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 19 Feb 2021 14:12:34 -0700
Subject: [PATCH] qualify command-line specified goals with user: (#820)

---
 src/toplevel.pl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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
-- 
2.54.0