diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-06 18:58:41 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-06 18:58:41 -0800 |
| commit | 68baf0380921baf1e409241177f1722eb239ce91 (patch) | |
| tree | f62a2adc6dde59c971e3ec6c28e49a652d205c9f /src/bdd/cudd/cuddBridge.c | |
| parent | 780321cf54b8da33be6800ea4533d3f8176fd822 (diff) | |
| download | abc-68baf0380921baf1e409241177f1722eb239ce91.tar.gz abc-68baf0380921baf1e409241177f1722eb239ce91.tar.bz2 abc-68baf0380921baf1e409241177f1722eb239ce91.zip | |
Another attempt to make CUDD platform- and runtime-independent.
Diffstat (limited to 'src/bdd/cudd/cuddBridge.c')
| -rw-r--r-- | src/bdd/cudd/cuddBridge.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/bdd/cudd/cuddBridge.c b/src/bdd/cudd/cuddBridge.c index 97a6f393..c051666d 100644 --- a/src/bdd/cudd/cuddBridge.c +++ b/src/bdd/cudd/cuddBridge.c @@ -976,9 +976,9 @@ cuddBddTransferRecur( if (st_lookup(table, (const char *)f, (char **)&res)) return(Cudd_NotCond(res,comple)); - if ( ddS->TimeStop && ddS->TimeStop < clock() ) + if ( ddS->TimeStop && ddS->TimeStop < time(NULL) ) return NULL; - if ( ddD->TimeStop && ddD->TimeStop < clock() ) + if ( ddD->TimeStop && ddD->TimeStop < time(NULL) ) return NULL; /* Recursive step. */ |