apply expand_module_names to call(A) goals

diff --git a/src/loader.pl b/src/loader.pl
index 8f1ef7e407a466b02c114b1411c864b7cc09b23f..4bd88e377af19fc9fe660d3d22658db57ff287da 100644 (file)
--- 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)