From: Markus Triska Date: Wed, 1 Dec 2021 19:54:06 +0000 (+0100) Subject: use anonymous variable X-Git-Tag: v0.9.0~12^2~1 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=0026f3fdef150bd54719c2215c0f68bc64877a5b;p=scryer-prolog.git use anonymous variable --- diff --git a/src/lib/builtins.pl b/src/lib/builtins.pl index eace0865..e3bd22a6 100644 --- a/src/lib/builtins.pl +++ b/src/lib/builtins.pl @@ -954,7 +954,7 @@ retract_module_clause(Head, Body, Module) :- ). -first_match_index([Clause | Clauses], Clause, N, N) :- +first_match_index([Clause | _], Clause, N, N) :- !. first_match_index([_ | Clauses], Clause, N0, N) :- N1 is N0 + 1,