From: Eshel Yaron Date: Sat, 19 Nov 2022 16:34:26 +0000 (+0200) Subject: Remove imported duplicates in sweep_predicates_collection/2 X-Git-Tag: V8.5.20-sweep-0.8.9~11 X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=0cdc987f7ef7e775f64f363d6a77574c97745a85;p=dict.git Remove imported duplicates in sweep_predicates_collection/2 --- diff --git a/sweep.pl b/sweep.pl index 7d1032e..646cfbc 100644 --- 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,