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

Forgotten failure - found by #22

Browse Source
This commit is contained in:
Ulrich Neumerkel 2009-05-29 00:15:40 +02:00 committed by Vitor Santos Costa
parent c1dcb1d75d
commit 5760986b2f
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

@ -35,7 +35,7 @@ time_out(Goal, Time, Result) :-
alarm(0,_,RT)), alarm(0,_,RT)),
( var(RT) ( var(RT)
-> alarm(0,_,_), -> alarm(0,_,_),
( true ; alarm(T.UT,throw(time_out),_) ) ( true ; alarm(T.UT,throw(time_out),_), fail )
; true ; true
) )
), ),