]> git.eshelyaron.com Git - sweep.git/commitdiff
; (sweep_replace_term_r/12): Fix qualified head classification
authorEshel Yaron <me@eshelyaron.com>
Sun, 24 Sep 2023 15:17:20 +0000 (17:17 +0200)
committerEshel Yaron <me@eshelyaron.com>
Sun, 24 Sep 2023 15:17:20 +0000 (17:17 +0200)
sweep.pl

index b602c0b51495696a539d84cb1afa85af88d9f395..fa16037f4c76e74682a730ee53239cbfc594132f 100644 (file)
--- 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