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

…886)
mthom · Mar 24, 2021 · 10e92ee · 10e92ee
1 parent 37f2336
commit 10e92ee
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lib/iso_ext.pl b/src/lib/iso_ext.pl
@@ -86,8 +86,8 @@
 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),