small space fixes
This commit is contained in:
parent
1486b97e75
commit
946b6aa812
@ -62,7 +62,7 @@ call_cleanup(Goal, Catcher, Cleanup) :-
|
|||||||
setup_call_catcher_cleanup(true, Goal, Catcher, Cleanup).
|
setup_call_catcher_cleanup(true, Goal, Catcher, Cleanup).
|
||||||
|
|
||||||
setup_call_cleanup(Setup, Goal, Cleanup) :-
|
setup_call_cleanup(Setup, Goal, Cleanup) :-
|
||||||
setup_call_catcher_cleanup(Setup, Goal, Catcher, Cleanup).
|
setup_call_catcher_cleanup(Setup, Goal, _Catcher, Cleanup).
|
||||||
|
|
||||||
setup_call_catcher_cleanup(Setup, Goal, Catcher, Cleanup) :-
|
setup_call_catcher_cleanup(Setup, Goal, Catcher, Cleanup) :-
|
||||||
yap_hacks:disable_interrupts,
|
yap_hacks:disable_interrupts,
|
||||||
|
Reference in New Issue
Block a user