From 6130e39b18b5f53902e4eab14f6d5cdde5219563 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 1 Nov 2010 01:35:04 -0700
Subject: initial commit of public abc

---
 src/aig/gia/giaFront.c | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'src/aig/gia/giaFront.c')

diff --git a/src/aig/gia/giaFront.c b/src/aig/gia/giaFront.c
index b3a3c2d0..6f1ce5a7 100644
--- a/src/aig/gia/giaFront.c
+++ b/src/aig/gia/giaFront.c
@@ -20,6 +20,9 @@
 
 #include "gia.h"
 
+ABC_NAMESPACE_IMPL_START
+
+
 ////////////////////////////////////////////////////////////////////////
 ///                        DECLARATIONS                              ///
 ////////////////////////////////////////////////////////////////////////
@@ -193,7 +196,7 @@ Gia_Man_t * Gia_ManFront( Gia_Man_t * p )
             pFront[iFront] = 0;
     }
     assert( pNew->nObjs == p->nObjs );
-    assert( nCrossCut == 0 && nCrossCutMax == nCrossCutMaxInit );
+    assert( nCrossCut == 0 || nCrossCutMax == nCrossCutMaxInit );
     for ( i = 0; i < pNew->nFront; i++ )
         assert( pFront[i] == 0 );
     ABC_FREE( pFront );
@@ -246,3 +249,5 @@ void Gia_ManFrontTest( Gia_Man_t * p )
 ////////////////////////////////////////////////////////////////////////
 
 
+ABC_NAMESPACE_IMPL_END
+
-- 
cgit v1.2.3