From 5760986b2f93de66439b45f4bd4b70a6def98786 Mon Sep 17 00:00:00 2001 From: Ulrich Neumerkel Date: Fri, 29 May 2009 00:15:40 +0200 Subject: [PATCH] Forgotten failure - found by #22 --- library/timeout.yap | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/library/timeout.yap b/library/timeout.yap index f59c5bfd8..d234a5262 100644 --- a/library/timeout.yap +++ b/library/timeout.yap @@ -35,7 +35,7 @@ time_out(Goal, Time, Result) :- alarm(0,_,RT)), ( var(RT) -> alarm(0,_,_), - ( true ; alarm(T.UT,throw(time_out),_) ) + ( true ; alarm(T.UT,throw(time_out),_), fail ) ; true ) ),