Remove imported duplicates in sweep_predicates_collection/2

diff --git a/sweep.pl b/sweep.pl
index 7d1032efaff75992c32eb95fd111ff54c1c1b957..646cfbc4fe2864bb3df47d171825a0f7d7f357ee 100644 (file)
--- a/sweep.pl
+++ b/sweep.pl
@@ -399,6 +399,7 @@ sweep_predicates_collection(Sub, Preds) :-
               ->  true
               ;   M = user
               ),
+              \+ (predicate_property(M:H, imported_from(M1)), M \= M1),
               pi_head(F/N, H)
             ),
             Tail1,