use round brackets for meta_predicate/1 declaration

diff --git a/src/lib/reif.pl b/src/lib/reif.pl
index 169ecb2d398e3f2d91f3a97352b9d454e54fd3d7..a1d3141900cf7bcc6d06d675af355e0fc80d0feb 100644 (file)
--- 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).