From 45827110d61cb2a7013e1251b32428bca70ceeeb Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 13 Apr 2008 20:01:00 -0700
Subject: Version abc80413_2

---
 src/aig/ntl/ntlFraig.c | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/aig')

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 );
-- 
cgit v1.2.3