exception handler was not passing well exceptions in setup.
This commit is contained in:
parent
45acd9b07d
commit
660ea12537
@ -73,7 +73,7 @@ setup_call_catcher_cleanup(Setup, Goal, Catcher, Cleanup) :-
|
||||
|
||||
% make sure we don't lose interrupts if we get exceptions
|
||||
% with setup.
|
||||
'$handle_broken_setup'(Setup) :-
|
||||
'$handle_broken_setup'(Exception) :-
|
||||
yap_hacks:enable_interrupts,
|
||||
throw(Exception).
|
||||
|
||||
|
Reference in New Issue
Block a user