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

diff --git a/src/lib/iso_ext.pl b/src/lib/iso_ext.pl
index 4d064193c217719a70d6a6c46546fc276c9538d5..be44099f159db3af35b03502b293c3791b2d6b52 100644 (file)
--- 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),