From 779cff2193054007600019c694946a95f8395b9c Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 1 Jul 2013 15:33:32 -0700
Subject: Bug fix in the timeout for 'int'.

---
 src/sat/bsat/satInterA.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/sat/bsat/satInterA.c b/src/sat/bsat/satInterA.c
index b3b4ec7f..3360c03f 100644
--- a/src/sat/bsat/satInterA.c
+++ b/src/sat/bsat/satInterA.c
@@ -956,7 +956,7 @@ void * Inta_ManInterpolate( Inta_Man_t * p, Sto_Man_t * pCnf, abctime TimeToStop
     int RetValue = 1;
     abctime clkTotal = Abc_Clock();
 
-    if ( Abc_Clock() > TimeToStop )
+    if ( TimeToStop && Abc_Clock() > TimeToStop )
         return NULL;
 
     // check that the CNF makes sense
-- 
cgit v1.2.3