From 615312796cb3636c25498c39aa8c95d03166b595 Mon Sep 17 00:00:00 2001 From: Eshel Yaron Date: Thu, 1 Sep 2022 16:43:37 +0300 Subject: [PATCH] FIXED: copy paste error (singleton variable) --- sweep.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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), -- 2.39.2