call '$erase_ball' before running cleanup code in setup_call_cleanup (#886)

2021-03-24 16:56:48 -06:00
parent 37f2336eee
commit 10e92eec32
1 changed files with 1 additions and 1 deletions
--- a/src/lib/iso_ext.pl
+++ b/src/lib/iso_ext.pl
@@ -86,8 +86,8 @@ scc_helper(C, G, Bb) :-
 scc_helper(_, _, Bb) :-
    '$reset_block'(Bb),
    '$get_ball'(Ball),
-    '$call_with_default_policy'(run_cleaners_with_handling),
    '$erase_ball',
+    '$call_with_default_policy'(run_cleaners_with_handling),
    '$call_with_default_policy'(throw(Ball)).
 scc_helper(_, _, _) :-
    '$get_cp'(Cp),