]> git.eshelyaron.com Git - dict.git/commitdiff
FIXED: sweep_predicates_collection/2: include preds defined in user
authorEshel Yaron <me@eshelyaron.com>
Sun, 11 Sep 2022 15:04:07 +0000 (18:04 +0300)
committerEshel Yaron <me@eshelyaron.com>
Sun, 11 Sep 2022 15:04:07 +0000 (18:04 +0300)
sweep.pl

index 97241d4f6e8ee078c0486e7c578312f67af92465..3313d8cc13e0fe7e4c25bacc989daba4a97b3a52 100644 (file)
--- a/sweep.pl
+++ b/sweep.pl
@@ -497,14 +497,20 @@ sweep_predicates_collection(Sub, Preds) :-
             Tail1),
     findall(M:F/N,
             ( xref_defined(SourceId, H, local(_)),
-              xref_module(SourceId, M),
+              (   xref_module(SourceId, M)
+              ->  true
+              ;   M = user
+              ),
               pi_head(F/N, H)
             ),
             Tail1,
             Tail),
     findall(M:F/N,
             ( xref_defined(_, H, imported(SourceId)),
-              xref_module(SourceId, M),
+              (   xref_module(SourceId, M)
+              ->  true
+              ;   M = user
+              ),
               pi_head(F/N, H)
             ),
             Tail),