From ae4b51351c93983a1285ce1028e3bbd90a6d5721 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 13 Jan 2011 12:38:59 -0800
Subject: Cumulative changes in the last few weeks.

---
 src/base/abci/abcIvy.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/base/abci/abcIvy.c')

diff --git a/src/base/abci/abcIvy.c b/src/base/abci/abcIvy.c
index 759c96a7..979b2a4a 100644
--- a/src/base/abci/abcIvy.c
+++ b/src/base/abci/abcIvy.c
@@ -508,7 +508,7 @@ int Abc_NtkIvyProve( Abc_Ntk_t ** ppNtk, void * pPars )
 //    pParams->fUseBdds = 1;
 //    pParams->fBddReorder = 1;
 //    pParams->nTotalBacktrackLimit = 10000;
-
+ 
     // strash the network if it is not strashed already
     if ( !Abc_NtkIsStrash(pNtk) )
     {
-- 
cgit v1.2.3