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

FIXED: meta_predicate/1 declaration for tpartition/4.

This addresses #1101.
---

diff --git a/src/lib/reif.pl b/src/lib/reif.pl
index b8d4bbaa..07992244 100644
--- a/src/lib/reif.pl
+++ b/src/lib/reif.pl
@@ -38,7 +38,7 @@ i_tfilter([E|Es], C_2, Fs0) :-
    if_(call(C_2, E), Fs0 = [E|Fs], Fs0 = Fs),
    i_tfilter(Es, C_2, Fs).
 
-:- meta_predicate tpartition(1, ?, ?).
+:- meta_predicate(tpartition(2, ?, ?, ?)).
 
 tpartition(P_2, Xs, Ts, Fs) :-
    i_tpartition(Xs, P_2, Ts, Fs).