diff options
Diffstat (limited to 'src/sat')
| -rw-r--r-- | src/sat/bsat/satInterA.c | 2 |
1 files changed, 1 insertions, 1 deletions
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 |