From abdd68164afbb75c1fe876040a4c5af82fff1548 Mon Sep 17 00:00:00 2001 From: Eshel Yaron Date: Sun, 24 Sep 2023 17:17:20 +0200 Subject: [PATCH] ; (sweep_replace_term_r/12): Fix qualified head classification --- sweep.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sweep.pl b/sweep.pl index b602c0b..fa16037 100644 --- a/sweep.pl +++ b/sweep.pl @@ -1358,7 +1358,7 @@ sweep_replace_term_r(term_position(From, To, _, _, ArgsPos), Term, FileName, Mod ), ( Functor = ':', atom(Left), - State0 = goal(_) + member(State0, [goal(_),head]) -> Module = Left, LeftState = module, RightState = State0 -- 2.39.2