propagate inference_limit_exceeded errors through the loader (#1298)

diff --git a/src/loader.pl b/src/loader.pl
index 44e05d839d4361d9ea01432b294cf00122eb485c..0179bd7bf5b94f82c61fafd90380e665b5b92a98 100644 (file)
--- a/src/loader.pl
+++ b/src/loader.pl
@@ -33,6 +33,9 @@ write_error(Error) :-
     ),
     write('.').
 
+'$print_message_and_fail'(inference_limit_exceeded(B)) :-
+    integer(B),
+    throw(inference_limit_exceeded(B)).
 '$print_message_and_fail'(Error) :-
     write_error(Error),
     nl,