diff options
Diffstat (limited to 'src/opt/mfs/mfsInter.c')
| -rw-r--r-- | src/opt/mfs/mfsInter.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/mfs/mfsInter.c b/src/opt/mfs/mfsInter.c index b3de7b96..08713c75 100644 --- a/src/opt/mfs/mfsInter.c +++ b/src/opt/mfs/mfsInter.c @@ -337,7 +337,7 @@ Hop_Obj_t * Abc_NtkMfsInterplate( Mfs_Man_t * p, int * pCands, int nCands ) Hop_Obj_t * pFunc; int nFanins, status; int c, i, * pGloVars; -// int clk = clock(); +// clock_t clk = clock(); // p->nDcMints += Abc_NtkMfsInterplateEval( p, pCands, nCands ); |