diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-08-10 11:43:28 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-08-10 11:43:28 -0700 |
| commit | 46fbad869e482727fbb57a3c1223ba0fd6b25d49 (patch) | |
| tree | f1af409eaef2800ea1d82f4a5d739da4fc8e2cf0 | |
| parent | a14e2c921fea9a603c4ea7e718958cca7d9b3e94 (diff) | |
| download | abc-46fbad869e482727fbb57a3c1223ba0fd6b25d49.tar.gz abc-46fbad869e482727fbb57a3c1223ba0fd6b25d49.tar.bz2 abc-46fbad869e482727fbb57a3c1223ba0fd6b25d49.zip | |
Commenting out an assertion.
| -rw-r--r-- | src/aig/gia/giaAig.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaAig.c b/src/aig/gia/giaAig.c index 23ffed99..3cf01c70 100644 --- a/src/aig/gia/giaAig.c +++ b/src/aig/gia/giaAig.c @@ -153,7 +153,7 @@ Gia_Man_t * Gia_ManFromAigChoices( Aig_Man_t * p ) Aig_ManForEachCo( p, pObj, i ) Gia_ManAppendCo( pNew, Gia_ObjChild0Copy(pObj) ); Gia_ManSetRegNum( pNew, Aig_ManRegNum(p) ); - assert( Gia_ManObjNum(pNew) == Aig_ManObjNum(p) ); + //assert( Gia_ManObjNum(pNew) == Aig_ManObjNum(p) ); return pNew; } |