From a30c08bbe55d624ec3269577bf16f2f09215be12 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 9 Sep 2008 08:01:00 -0700
Subject: Version abc80909

---
 src/aig/saig/saigPhase.c | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/aig/saig/saigPhase.c')

diff --git a/src/aig/saig/saigPhase.c b/src/aig/saig/saigPhase.c
index 323a230f..12d323e2 100644
--- a/src/aig/saig/saigPhase.c
+++ b/src/aig/saig/saigPhase.c
@@ -886,6 +886,11 @@ Aig_Man_t * Saig_ManPhaseAbstractAuto( Aig_Man_t * p, int fVerbose )
     Saig_TsiStop( pTsi );
     if ( pNew == NULL )
         pNew = Aig_ManDupSimple( p );
+    if ( Aig_ManPiNum(pNew) == Aig_ManRegNum(pNew) )
+    {
+        Aig_ManStop( pNew);
+        pNew = Aig_ManDupSimple( p );
+    }
     return pNew;
 }
 
-- 
cgit v1.2.3