From: Eshel Yaron <me@eshelyaron.com>
Date: Sun, 24 Sep 2023 15:17:20 +0000 (+0200)
Subject: ; (sweep_replace_term_r/12): Fix qualified head classification
X-Git-Tag: V9.1.16-sweep-0.25.3~14
X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=abdd68164afbb75c1fe876040a4c5af82fff1548;p=sweep.git

; (sweep_replace_term_r/12): Fix qualified head classification
---

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