diff options
Diffstat (limited to 'src/aig/hop/hop.h')
| -rw-r--r-- | src/aig/hop/hop.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/hop/hop.h b/src/aig/hop/hop.h index d8ce8062..7d9be165 100644 --- a/src/aig/hop/hop.h +++ b/src/aig/hop/hop.h @@ -106,8 +106,8 @@ struct Hop_Man_t_ Vec_Ptr_t * vPages; // memory pages used by nodes Hop_Obj_t * pListFree; // the list of free nodes // timing statistics - clock_t time1; - clock_t time2; + abctime time1; + abctime time2; }; //////////////////////////////////////////////////////////////////////// |