diogo
/
yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

unnecessary disable_interrupts (#69)

This commit is contained in:
Costa Vitor 2009-05-26 16:57:27 -05:00
parent 3d9bd1a49f
commit e6129e84b7
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
library/timeout.yap
View File

@ -63,11 +63,9 @@ run_goal(Goal, Result0) :-
).
run_goal(_, _) :-
yap_hacks:disable_interrupts,
% make sure we're not getting an extraneous interrupt if we terminate early....
alarm(0,_,_),
fail.
complete_time_out :-
alarm(0,_,_),
yap_hacks:enable_interrupts.
alarm(0,_,_).