1 files changed, 1 insertions, 1 deletions
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 );