Version abc80413_2

45827110 · Alan Mishchenko · 2dc38429 · 45827110
Commit 45827110 authored Apr 13, 2008 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

src/aig/ntl/ntlFraig.c
+3 -0

No files found.
--- a/src/aig/ntl/ntlFraig.c
+++ b/src/aig/ntl/ntlFraig.c
@@ -236,6 +236,9 @@ Ntl_Man_t * Ntl_ManFraig( Ntl_Man_t * p, int nPartSize, int nConfLimit, int nLev
    Ntl_Man_t * pNew, * pAux;
    Aig_Man_t * pAig, * pAigCol, * pTemp;

+    if ( Ntl_ModelNodeNum(Ntl_ManRootModel(p)) == 0 )
+        return Ntl_ManDup(p);
+
    // collapse the AIG
    pAig = Ntl_ManExtract( p );
    pNew = Ntl_ManInsertAig( p, pAig );