From 29c9b0c0c4c66cb09b7c00c5c7290141be2af6a0 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 31 Jul 2007 08:01:00 -0700
Subject: Version abc70731

---
 src/base/abci/abcMiter.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

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

diff --git a/src/base/abci/abcMiter.c b/src/base/abci/abcMiter.c
index 445c73c1..a33b9875 100644
--- a/src/base/abci/abcMiter.c
+++ b/src/base/abci/abcMiter.c
@@ -1099,7 +1099,9 @@ int Abc_NtkCombinePos( Abc_Ntk_t * pNtk, int fAnd )
     Abc_Obj_t * pNode, * pMiter;
     int i;
     assert( Abc_NtkIsStrash(pNtk) );
-    assert( Abc_NtkLatchNum(pNtk) == 0 );
+//    assert( Abc_NtkLatchNum(pNtk) == 0 );
+    if ( Abc_NtkPoNum(pNtk) == 1 )
+        return 1;
     // start the result
     if ( fAnd )
         pMiter = Abc_AigConst1(pNtk);
-- 
cgit v1.2.3