diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/aig/ntl/ntlFraig.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/aig/ntl/ntlFraig.c b/src/aig/ntl/ntlFraig.c index 117f3275..63725558 100644 --- 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 ); |