From e4842315989568f685cae60d3147ef38219c6171 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 7 Jul 2012 09:16:41 -0700
Subject: Fixing time printouts in 'pdr'.

---
 src/proof/pdr/pdrMan.c | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/proof/pdr/pdrMan.c')

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;
 }
 
-- 
cgit v1.2.3