From e6129e84b769a048cee354700bcff62cfec4d250 Mon Sep 17 00:00:00 2001
From: Costa Vitor <vitor@quasar-20.(none)>
Date: Tue, 26 May 2009 16:57:27 -0500
Subject: [PATCH] unnecessary disable_interrupts (#69)

---
 library/timeout.yap | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/library/timeout.yap b/library/timeout.yap
index 5f9aea3ad..81f67c247 100644
--- a/library/timeout.yap
+++ b/library/timeout.yap
@@ -63,11 +63,9 @@ run_goal(Goal, Result0) :-
 	).
 	  
 run_goal(_, _) :-
-	yap_hacks:disable_interrupts,
 	% make sure we're not getting an extraneous interrupt if we terminate early....
 	alarm(0,_,_),
 	fail.
 
 complete_time_out :-
-	alarm(0,_,_),
-	yap_hacks:enable_interrupts.
+	alarm(0,_,_).