From: Mark Thom <markjordanthom@gmail.com>
Date: Sat, 12 Feb 2022 00:25:01 +0000 (-0700)
Subject: add missing fact to beginning of tmember_t/3 (#1275)
X-Git-Tag: v0.9.0^2~25
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=60dd47c69601bf2a84bf8bc8a0a6717197dc3413;p=scryer-prolog.git

add missing fact to beginning of tmember_t/3 (#1275)
---

diff --git a/src/lib/reif.pl b/src/lib/reif.pl
index a1d31419..c0e14989 100644
--- a/src/lib/reif.pl
+++ b/src/lib/reif.pl
@@ -79,5 +79,6 @@ tmember(P_2, [X|Xs]) :-
 
 :- meta_predicate(tmember_t(2, ?, ?)).
 
+tmember_t(_P_2, [], false).
 tmember_t(P_2, [X|Xs], T) :-
    if_( call(P_2, X), T = true, tmember_t(P_2, Xs, T) ).