Corner case bug fix in reducing equivalences.

91b54281 · Alan Mishchenko · afdaebe1 · 91b54281
Commit 91b54281 authored May 24, 2019 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 1 deletions

src/aig/gia/giaEquiv.c
+2 -1

No files found.
--- 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 ) )