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 ) ),