From 601ff567e3b3175fed08b36c4f078c514daecfb3 Mon Sep 17 00:00:00 2001 From: Mark Thom Date: Fri, 17 Feb 2023 00:20:15 -0700 Subject: [PATCH] keep phrase goal qualified even if qualifier is a variable --- src/lib/dcgs.pl | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/src/lib/dcgs.pl b/src/lib/dcgs.pl index 08870316..33b4c129 100644 --- a/src/lib/dcgs.pl +++ b/src/lib/dcgs.pl @@ -215,6 +215,9 @@ user:goal_expansion(phrase(GRBody, S, S0), GRBody2) :- E, dcgs:error_goal(E, GRBody1) ), - module_call_qualified(M, GRBody1, GRBody2). + ( GRBody = (_:_) -> + GRBody2 = M:GRBody1 + ; GRBody2 = GRBody1 + ). user:goal_expansion(phrase(GRBody, S), phrase(GRBody, S, [])). -- 2.54.0