From 56fa3499b1d574beb97c7298301d037fa2f5eccd Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Thu, 21 May 2009 01:08:34 -0500 Subject: [PATCH] oops --- library/timeout.yap | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/library/timeout.yap b/library/timeout.yap index c821f06d9..d276ba923 100644 --- a/library/timeout.yap +++ b/library/timeout.yap @@ -47,7 +47,7 @@ run_goal(Goal, Result0) :- call(Goal), !, % make sure we're not getting an extraneous interrupt if we terminate early.... - yap_hacks:disable_interrupts. + yap_hacks:disable_interrupts, alarm(0,_,_), true. run_goal(Goal, Result0) :-