From: Markus Triska <triska@metalevel.at>
Date: Sat, 20 Nov 2021 21:39:38 +0000 (+0100)
Subject: FIXED: meta_predicate/1 declaration for tfilter/3.
X-Git-Tag: v0.9.0~27^2~3
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=e05dd5ebb527ad965f6b92a9b63b6dd30b202a31;p=scryer-prolog.git

FIXED: meta_predicate/1 declaration for tfilter/3.
---

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).