From 0cdc987f7ef7e775f64f363d6a77574c97745a85 Mon Sep 17 00:00:00 2001 From: Eshel Yaron Date: Sat, 19 Nov 2022 18:34:26 +0200 Subject: [PATCH] Remove imported duplicates in sweep_predicates_collection/2 --- sweep.pl | 1 + 1 file changed, 1 insertion(+) 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, -- 2.39.2