diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-07 09:16:41 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-07 09:16:41 -0700 |
| commit | e4842315989568f685cae60d3147ef38219c6171 (patch) | |
| tree | 77626f94f1c92daf8d21238f7b78b471ccf80175 /src/proof/pdr/pdrMan.c | |
| parent | 70331b585b9d23b58429e59e99e7239caaaff795 (diff) | |
| download | abc-e4842315989568f685cae60d3147ef38219c6171.tar.gz abc-e4842315989568f685cae60d3147ef38219c6171.tar.bz2 abc-e4842315989568f685cae60d3147ef38219c6171.zip | |
Fixing time printouts in 'pdr'.
Diffstat (limited to 'src/proof/pdr/pdrMan.c')
| -rw-r--r-- | src/proof/pdr/pdrMan.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/proof/pdr/pdrMan.c b/src/proof/pdr/pdrMan.c index 73c12a7d..d3fcd112 100644 --- a/src/proof/pdr/pdrMan.c +++ b/src/proof/pdr/pdrMan.c @@ -72,7 +72,6 @@ Pdr_Man_t * Pdr_ManStart( Aig_Man_t * pAig, Pdr_Par_t * pPars, Vec_Int_t * vPrio Aig_ManFanoutStart( pAig ); if ( pAig->pTerSimData == NULL ) pAig->pTerSimData = ABC_CALLOC( unsigned, 1 + (Aig_ManObjNumMax(pAig) / 16) ); - p->timeStart = clock(); return p; } |