From 57877107d8a2e8a5e92fb79e3f4641ac0fbaa02d Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Thu, 11 Nov 2021 19:29:32 +0100 Subject: [PATCH] use functional notation for all meta_predicate/1 directives --- src/lib/iso_ext.pl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/lib/iso_ext.pl b/src/lib/iso_ext.pl index 7ddc6bb7..378d495a 100644 --- 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), -- 2.54.0