From 93c05287f0d8b044e620b41608df906bbad39db5 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 2 Mar 2007 08:01:00 -0800
Subject: Version abc70302

---
 src/opt/res/resCore.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/opt/res')

diff --git a/src/opt/res/resCore.c b/src/opt/res/resCore.c
index 4cc5e56b..ad99829a 100644
--- a/src/opt/res/resCore.c
+++ b/src/opt/res/resCore.c
@@ -263,7 +263,7 @@ p->timeAig += clock() - clk;
             printf( "AIG = %4d ", Abc_NtkNodeNum(p->pAig) );
             printf( "\n" );
         }
-
+ 
         // prepare simulation info
 clk = clock();
         RetValue = Res_SimPrepare( p->pSim, p->pAig, Vec_PtrSize(p->pWin->vLeaves), 0 ); //p->pPars->fVerbose );
-- 
cgit v1.2.3