From: Eshel Yaron Date: Thu, 1 Sep 2022 13:43:37 +0000 (+0300) Subject: FIXED: copy paste error (singleton variable) X-Git-Tag: v0.2.0~55 X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=615312796cb3636c25498c39aa8c95d03166b595;p=dict.git FIXED: copy paste error (singleton variable) --- diff --git a/sweep.pl b/sweep.pl index 56d4d81..1f3830f 100644 --- 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),