From 1c56a92a6c508a6ec19419772cdff3bb4e54ab10 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 31 Mar 2014 22:16:47 -0700
Subject: Undoing previous change, which was made by mistake.

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

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

diff --git a/src/proof/pdr/pdrMan.c b/src/proof/pdr/pdrMan.c
index 176a5e3e..9a73b697 100644
--- a/src/proof/pdr/pdrMan.c
+++ b/src/proof/pdr/pdrMan.c
@@ -81,7 +81,7 @@ Pdr_Man_t * Pdr_ManStart( Aig_Man_t * pAig, Pdr_Par_t * pPars, Vec_Int_t * vPrio
         int i;
         p->pTime4Outs = ABC_ALLOC( abctime, Saig_ManPoNum(pAig) );
         for ( i = 0; i < Saig_ManPoNum(pAig); i++ )
-            p->pTime4Outs[i] = pPars->nTimeOutOne;
+            p->pTime4Outs[i] = pPars->nTimeOutOne * CLOCKS_PER_SEC / 1000 + 1;
     }
     if ( pPars->fSolveAll )
     {
-- 
cgit v1.2.3