call_with_inference_limit/3 should fail if inference limit is exceeded and R term...

diff --git a/src/lib/iso_ext.pl b/src/lib/iso_ext.pl
index 0a5798ae739b87b19f1c8daf4b3d895ce3bff670..a53ac99117afd1c1d4b7e87a1d0fe99efcbc88e4 100644 (file)
--- a/src/lib/iso_ext.pl
+++ b/src/lib/iso_ext.pl
@@ -226,8 +226,9 @@ end_block(B, _Bb, NBb, L) :-
 
 :- non_counted_backtracking handle_ile/3.
 
-handle_ile(B, inference_limit_exceeded(B), inference_limit_exceeded) :-
+handle_ile(B, inference_limit_exceeded(B), R) :-
     !,
+    R = inference_limit_exceeded,
     '$pop_ball_stack'.
 handle_ile(B, _, _) :-
     '$remove_call_policy_check'(B),