diff options
Diffstat (limited to 'src/base/abc/abcCheck.c')
-rw-r--r-- | src/base/abc/abcCheck.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abc/abcCheck.c b/src/base/abc/abcCheck.c index 6dc06f19..99fcae4a 100644 --- a/src/base/abc/abcCheck.c +++ b/src/base/abc/abcCheck.c @@ -188,13 +188,13 @@ int Abc_NtkDoCheck( Abc_Ntk_t * pNtk ) return 0; // finally, check for combinational loops -// clk = clock(); +// clk = Abc_Clock(); if ( !Abc_NtkIsAcyclic( pNtk ) ) { fprintf( stdout, "NetworkCheck: Network contains a combinational loop.\n" ); return 0; } -// ABC_PRT( "Acyclic ", clock() - clk ); +// ABC_PRT( "Acyclic ", Abc_Clock() - clk ); // check the EXDC network if present if ( pNtk->pExdc ) |