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

FIXED: meta_predicate/1 declaration of cond_t/3.
---

diff --git a/src/lib/reif.pl b/src/lib/reif.pl
index f3bc72b3..169ecb2d 100644
--- a/src/lib/reif.pl
+++ b/src/lib/reif.pl
@@ -60,7 +60,7 @@ i_tpartition([X|Xs], P_2, Ts0, Fs0) :-
 ';'(A_1, B_1, T) :-
     if_(A_1, T = true, call(B_1, T)).
 
-:- meta_predicate cond_t(0, 0, ?).
+:- meta_predicate(cond_t(1, 0, ?)).
 
 cond_t(If_1, Then_0, T) :-
    if_(If_1, ( Then_0, T = true ), T = false ).