FIXED: copy paste error (singleton variable)

diff --git a/sweep.pl b/sweep.pl
index 56d4d816e57cdb155cc7eca4a1129c32763c98a8..1f3830f71bde3a7d6d2870b51bff5963fc39b814 100644 (file)
--- a/sweep.pl
+++ b/sweep.pl
@@ -213,7 +213,7 @@ sweep_predicate_completion_annotated(Sub, F/N, [S|A]) :-
 sweep_predicate_completion_op_annotation(F, Ps, [op(Pri,Fix)|Ps]) :-
     current_op(Pri, Fix, F),
     !.
-sweep_predicate_completion_op_annotation(F, Ps, Ps).
+sweep_predicate_completion_op_annotation(_, Ps, Ps).
 
 sweep_head_annotation([H|T]) -->
     sweep_head_annotation_(H),