From d6e04beb95a6751004dea7d6f8a7ea58dc10ba3d Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 28 Feb 2021 18:28:12 -0700
Subject: [PATCH] check that Module is an atom before calling
 Module:goal_expansion/2

---
 src/loader.pl | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/loader.pl b/src/loader.pl
index e5304812..8a409ce2 100644
--- a/src/loader.pl
+++ b/src/loader.pl
@@ -60,7 +60,8 @@ term_expansion_list([Term|Terms], ExpandedTermsHead, ExpandedTermsTail) :-
 
 
 goal_expansion(Goal, Module, ExpandedGoal) :-
-    (  catch('$call'(Module:goal_expansion(Goal, ExpandedGoal0)),
+    (  atom(Module),
+       catch('$call'(Module:goal_expansion(Goal, ExpandedGoal0)),
              E,
              '$call'(loader:'$print_message_and_fail'(E))) ->
        (  var(ExpandedGoal0) ->
-- 
2.54.0