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

oops

This commit is contained in:
Vitor Santos Costa 2009-05-21 01:08:34 -05:00
parent 3a3220d1a1
commit 56fa3499b1
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
library/timeout.yap
View File

@ -47,7 +47,7 @@ run_goal(Goal, Result0) :-
call(Goal), call(Goal),
!, !,
% make sure we're not getting an extraneous interrupt if we terminate early.... % make sure we're not getting an extraneous interrupt if we terminate early....
yap_hacks:disable_interrupts. yap_hacks:disable_interrupts,
alarm(0,_,_), alarm(0,_,_),
true. true.
run_goal(Goal, Result0) :- run_goal(Goal, Result0) :-