summaryrefslogtreecommitdiffstats
path: root/src/aig
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2022-06-27 09:53:17 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2022-06-27 09:53:17 -0700
commitc23cd0a7c5f4264b3209f127885b8d5432f2fd5a (patch)
tree62737ece52dd5f382db03bf1329ad49001096069 /src/aig
parentadcc398bc38c91fa4cc8849aca9eb69c6fb61d21 (diff)
downloadabc-c23cd0a7c5f4264b3209f127885b8d5432f2fd5a.tar.gz
abc-c23cd0a7c5f4264b3209f127885b8d5432f2fd5a.tar.bz2
abc-c23cd0a7c5f4264b3209f127885b8d5432f2fd5a.zip
Commenting out unimportant assertion.
Diffstat (limited to 'src/aig')
-rw-r--r--src/aig/aig/aigDup.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/aig/aigDup.c b/src/aig/aig/aigDup.c
index 3ccd8dab..234192cb 100644
--- a/src/aig/aig/aigDup.c
+++ b/src/aig/aig/aigDup.c
@@ -1154,7 +1154,7 @@ Aig_Man_t * Aig_ManDupOneOutput( Aig_Man_t * p, int iPoNum, int fAddRegs )
Aig_Man_t * pNew;
Aig_Obj_t * pObj = NULL;
int i;
- assert( Aig_ManRegNum(p) > 0 );
+ //assert( Aig_ManRegNum(p) > 0 );
assert( iPoNum < Aig_ManCoNum(p)-Aig_ManRegNum(p) );
// create the new manager
pNew = Aig_ManStart( Aig_ManObjNumMax(p) );