From 54c142fc0d46a37277294473018eaf20b4292295 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Sun, 28 Feb 2021 19:01:36 -0700 Subject: [PATCH] apply expand_module_names to call(A) goals --- src/loader.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/loader.pl b/src/loader.pl index 8f1ef7e4..4bd88e37 100644 --- a/src/loader.pl +++ b/src/loader.pl @@ -657,7 +657,7 @@ expand_goal_cases((Module:Goals0), _, ExpandedGoals, HeadVars) :- expand_goal(UnexpandedGoals, Module, ExpandedGoals, HeadVars) :- ( var(UnexpandedGoals) -> - call(Module:UnexpandedGoals) = ExpandedGoals + expand_module_names(call(UnexpandedGoals), [0], Module, ExpandedGoals, HeadVars) ; goal_expansion(UnexpandedGoals, Module, UnexpandedGoals1), ( Module \== user -> goal_expansion(UnexpandedGoals1, user, Goals) -- 2.54.0