From faf74519dc8d23007d623f9bb80e0a86f045250b Mon Sep 17 00:00:00 2001
From: Markus Triska <triska@metalevel.at>
Date: Sat, 20 Nov 2021 22:43:53 +0100
Subject: [PATCH] use round brackets for meta_predicate/1 declaration

---
 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 169ecb2d..a1d31419 100644
--- a/src/lib/reif.pl
+++ b/src/lib/reif.pl
@@ -28,7 +28,7 @@ dif(X, Y, T) :-
 non(true, false).
 non(false, true).
 
-:- meta_predicate tfilter(2, ?, ?).
+:- meta_predicate(tfilter(2, ?, ?)).
 
 tfilter(C_2, Es, Fs) :-
    i_tfilter(Es, C_2, Fs).
-- 
2.54.0