From 77d7377442c28fd5c65144d7ea23938600967b2b Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 11 Feb 2006 08:01:00 -0800
Subject: Version abc60211

---
 src/sat/fraig/fraigMan.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/sat/fraig/fraigMan.c')

diff --git a/src/sat/fraig/fraigMan.c b/src/sat/fraig/fraigMan.c
index 673fcad7..ff6faa33 100644
--- a/src/sat/fraig/fraigMan.c
+++ b/src/sat/fraig/fraigMan.c
@@ -185,7 +185,7 @@ void Fraig_ManFree( Fraig_Man_t * p )
 //        Fraig_TablePrintStatsF( p );
 //        Fraig_TablePrintStatsF0( p );
     }
-
+ 
     for ( i = 0; i < p->vNodes->nSize; i++ )
         if ( p->vNodes->pArray[i]->vFanins )
         {
-- 
cgit v1.2.3