diff options
Diffstat (limited to 'src/aig/ivy/ivy.h')
| -rw-r--r-- | src/aig/ivy/ivy.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/ivy/ivy.h b/src/aig/ivy/ivy.h index 1cce1217..c2bbd5ab 100644 --- a/src/aig/ivy/ivy.h +++ b/src/aig/ivy/ivy.h @@ -125,8 +125,8 @@ struct Ivy_Man_t_ Vec_Ptr_t * vPages; // memory pages used by nodes Ivy_Obj_t * pListFree; // the list of free nodes // timing statistics - clock_t time1; - clock_t time2; + abctime time1; + abctime time2; }; struct Ivy_FraigParams_t_ |