From e05dd5ebb527ad965f6b92a9b63b6dd30b202a31 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Sat, 20 Nov 2021 22:39:38 +0100 Subject: [PATCH] FIXED: meta_predicate/1 declaration for tfilter/3. --- src/lib/reif.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/reif.pl b/src/lib/reif.pl index af6713e9..a032af32 100644 --- a/src/lib/reif.pl +++ b/src/lib/reif.pl @@ -28,7 +28,7 @@ dif(X, Y, T) :- non(true, false). non(false, true). -:- meta_predicate tfilter(1, ?, ?). +:- meta_predicate tfilter(2, ?, ?). tfilter(C_2, Es, Fs) :- i_tfilter(Es, C_2, Fs). -- 2.54.0