summaryrefslogtreecommitdiffstats
path: root/src/aig/gia
diff options
context:
space:
mode:
Diffstat (limited to 'src/aig/gia')
-rw-r--r--src/aig/gia/giaEquiv.c3
1 files changed, 2 insertions, 1 deletions
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 ) )