From 2be8ed886b1478cc7a3d8b09b43edcde38d3f339 Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Sat, 20 Nov 2021 22:37:59 +0100
Subject: [PATCH] FIXED: meta_predicate/1 declaration for tmember/2.

---
 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 07992244..f278e20b 100644
--- a/src/lib/reif.pl
+++ b/src/lib/reif.pl
@@ -72,7 +72,7 @@ i_memberd_t([], _, false).
 i_memberd_t([X|Xs], E, T) :-
    if_( X = E, T = true, i_memberd_t(Xs, E, T) ).
 
-:- meta_predicate tmember(1, ?).
+:- meta_predicate(tmember(2, ?)).
 
 tmember(P_2, [X|Xs]) :-
    if_( call(P_2, X), true, tmember(P_2, Xs) ).
-- 
2.54.0