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

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

diff --git a/src/lib/reif.pl b/src/lib/reif.pl
index f278e20b..af6713e9 100644
--- a/src/lib/reif.pl
+++ b/src/lib/reif.pl
@@ -77,7 +77,7 @@ i_memberd_t([X|Xs], E, T) :-
 tmember(P_2, [X|Xs]) :-
    if_( call(P_2, X), true, tmember(P_2, Xs) ).
 
-:- meta_predicate tmember_t(1, ?).
+:- meta_predicate(tmember_t(2, ?, ?)).
 
 tmember_t(P_2, [X|Xs], T) :-
    if_( call(P_2, X), T = true, tmember_t(P_2, Xs, T) ).