From 93c3f16066b69c840dc636f827f5f3ca18749906 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 29 Mar 2008 08:01:00 -0700
Subject: Version abc80329

---
 src/aig/fra/fraInd.c | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/aig/fra/fraInd.c')

diff --git a/src/aig/fra/fraInd.c b/src/aig/fra/fraInd.c
index 18c9ffcc..1ac2adab 100644
--- a/src/aig/fra/fraInd.c
+++ b/src/aig/fra/fraInd.c
@@ -344,7 +344,6 @@ Aig_Man_t * Fra_FraigInduction( Aig_Man_t * pManAig, Fra_Ssw_t * pParams )
         pParams->nIters = 0;
         return Aig_ManDup(pManAig, 1);
     }
-    assert( Aig_ManLatchNum(pManAig) == 0 );
     assert( Aig_ManRegNum(pManAig) > 0 );
     assert( pParams->nFramesK > 0 );
 //Aig_ManShow( pManAig, 0, NULL );
-- 
cgit v1.2.3