From 7e486af8323d447395c9d31b508d5f5926863f34 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 27 Jul 2012 15:59:20 -0700
Subject: Minor updates to the BMC engines.

---
 src/aig/gia/giaAbsGla2.c | 3 +++
 src/aig/gia/giaMan.c     | 2 ++
 2 files changed, 5 insertions(+)

(limited to 'src/aig/gia')

diff --git a/src/aig/gia/giaAbsGla2.c b/src/aig/gia/giaAbsGla2.c
index 17fb5d87..88ea6f5f 100644
--- a/src/aig/gia/giaAbsGla2.c
+++ b/src/aig/gia/giaAbsGla2.c
@@ -26,6 +26,7 @@
 
 ABC_NAMESPACE_IMPL_START
 
+#if 0
 
 ////////////////////////////////////////////////////////////////////////
 ///                        DECLARATIONS                              ///
@@ -1142,6 +1143,8 @@ finish:
     return RetValue;
 }
 
+#endif
+
 
 ////////////////////////////////////////////////////////////////////////
 ///                       END OF FILE                                ///
diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c
index b8a8afb8..a0208376 100644
--- a/src/aig/gia/giaMan.c
+++ b/src/aig/gia/giaMan.c
@@ -443,6 +443,7 @@ void Gia_ManPrintStats( Gia_Man_t * p, int fTents, int fSwitch )
     Gia_ManPrintObjClasses( p );
     if ( fTents )
     {
+/*
         int k, Entry, Prev = 1;
         Vec_Int_t * vLimit = Vec_IntAlloc( 1000 );
         Gia_Man_t * pNew = Gia_ManUnrollDup( p, vLimit );
@@ -453,6 +454,7 @@ void Gia_ManPrintStats( Gia_Man_t * p, int fTents, int fSwitch )
         printf( "\n" );
         Vec_IntFree( vLimit );
         Gia_ManStop( pNew );
+*/
         Gia_ManPrintTents( p );
     }
 }
-- 
cgit v1.2.3