From 91b542815488fe23c2d625e69eb2a1add12cf1fe Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 24 May 2019 10:47:58 -0700
Subject: Corner case bug fix in reducing equivalences.

---
 src/aig/gia/giaEquiv.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/aig/gia/giaEquiv.c b/src/aig/gia/giaEquiv.c
index c87d1cd5..db1563fc 100644
--- a/src/aig/gia/giaEquiv.c
+++ b/src/aig/gia/giaEquiv.c
@@ -610,7 +610,8 @@ Gia_Man_t * Gia_ManEquivReduce( Gia_Man_t * p, int fUseAll, int fDualOut, int fS
     if ( i == Gia_ManObjNum(p) )
     {
 //        Abc_Print( 1, "Gia_ManEquivReduce(): There are no equivalences to reduce.\n" );
-        return NULL;
+//        return NULL;
+        return Gia_ManDup( p );
     }
 /*
     if ( !Gia_ManCheckTopoOrder( p ) )
-- 
cgit v1.2.3