diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-07 18:15:08 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-07 18:15:08 -0700 |
| commit | 4760983a461142eacceeed45ddcf5598e6a389a2 (patch) | |
| tree | 87afc6370242742e1571cc42ff7824a9d8ce722f /src/base/abci/abcProve.c | |
| parent | 3aab7245738a69f1dd4d898493d5dabf6596ea61 (diff) | |
| download | abc-4760983a461142eacceeed45ddcf5598e6a389a2.tar.gz abc-4760983a461142eacceeed45ddcf5598e6a389a2.tar.bz2 abc-4760983a461142eacceeed45ddcf5598e6a389a2.zip | |
Fixing time primtouts throughout the code.
Diffstat (limited to 'src/base/abci/abcProve.c')
| -rw-r--r-- | src/base/abci/abcProve.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abcProve.c b/src/base/abci/abcProve.c index f4bd89ef..0322b587 100644 --- a/src/base/abci/abcProve.c +++ b/src/base/abci/abcProve.c @@ -35,7 +35,7 @@ extern int Abc_NtkRefactor( Abc_Ntk_t * pNtk, int nNodeSizeMax, int nConeSizeMa extern Abc_Ntk_t * Abc_NtkFromFraig( Fraig_Man_t * pMan, Abc_Ntk_t * pNtk ); static Abc_Ntk_t * Abc_NtkMiterFraig( Abc_Ntk_t * pNtk, int nBTLimit, ABC_INT64_T nInspLimit, int * pRetValue, int * pNumFails, ABC_INT64_T * pNumConfs, ABC_INT64_T * pNumInspects ); -static void Abc_NtkMiterPrint( Abc_Ntk_t * pNtk, char * pString, int clk, int fVerbose ); +static void Abc_NtkMiterPrint( Abc_Ntk_t * pNtk, char * pString, clock_t clk, int fVerbose ); //////////////////////////////////////////////////////////////////////// @@ -308,7 +308,7 @@ Abc_Ntk_t * Abc_NtkMiterFraig( Abc_Ntk_t * pNtk, int nBTLimit, ABC_INT64_T nInsp SeeAlso [] ***********************************************************************/ -void Abc_NtkMiterPrint( Abc_Ntk_t * pNtk, char * pString, int clk, int fVerbose ) +void Abc_NtkMiterPrint( Abc_Ntk_t * pNtk, char * pString, clock_t clk, int fVerbose ) { if ( !fVerbose ) return; |