From: Mark Thom Date: Mon, 11 Apr 2022 23:24:00 +0000 (-0600) Subject: use '$call' all throughout setup_call_cleanup/3 X-Git-Tag: v0.9.1~58 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=d644a3996eccf3ad2737e24b20e5f53ec17d21d7;p=scryer-prolog.git use '$call' all throughout setup_call_cleanup/3 --- diff --git a/src/lib/iso_ext.pl b/src/lib/iso_ext.pl index f503c4a2..1797c668 100644 --- a/src/lib/iso_ext.pl +++ b/src/lib/iso_ext.pl @@ -77,7 +77,7 @@ setup_call_cleanup(S, G, C) :- scc_helper(C, G, Bb) :- '$get_cp'(Cp), '$install_scc_cleaner'(C, NBb), - call(G), + '$call'(G), ( '$check_cp'(Cp) -> '$reset_block'(Bb), '$call_with_default_policy'(run_cleaners_without_handling(Cp)) @@ -110,7 +110,7 @@ run_cleaners_with_handling :- run_cleaners_without_handling(Cp) :- '$get_scc_cleaner'(C), '$get_level'(B), - call(C), + '$call'(C), '$set_cp_by_default'(B), '$call_with_default_policy'(run_cleaners_without_handling(Cp)). run_cleaners_without_handling(Cp) :-