use functional notation for all meta_predicate/1 directives

diff --git a/src/lib/iso_ext.pl b/src/lib/iso_ext.pl
index 7ddc6bb7eebe21b1ec86dde2a4e2d4ab41ef4db0..378d495a991de0da64fefb9c22e1dabebffc6e1a 100644 (file)
--- a/src/lib/iso_ext.pl
+++ b/src/lib/iso_ext.pl
@@ -23,11 +23,11 @@
                                type_error/3]).
 
 
-:- meta_predicate call_cleanup(0, 0).
+:- meta_predicate(call_cleanup(0, 0)).
 
-:- meta_predicate setup_call_cleanup(0, 0, 0).
+:- meta_predicate(setup_call_cleanup(0, 0, 0)).
 
-:- meta_predicate forall(0, 0).
+:- meta_predicate(forall(0, 0)).
 
 forall(Generate, Test) :-
     \+ (Generate, \+ Test).
@@ -131,7 +131,7 @@ handle_ile(B, E, _) :-
     '$remove_call_policy_check'(B),
     '$call_with_default_policy'(throw(E)).
 
-:- meta_predicate call_with_inference_limit(0, ?, ?).
+:- meta_predicate(call_with_inference_limit(0, ?, ?)).
 
 call_with_inference_limit(G, L, R) :-
     '$get_current_block'(Bb),