diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-30 17:26:04 +0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-30 17:26:04 +0700 |
commit | a2eb6f9a07f484d6ec941949b2e0e6421d8176dc (patch) | |
tree | b1a9c54a684fc2c9d6c83408b42c666ec0324f56 /src/aig/gia | |
parent | 7e598cd23144ea2997a272384fb5d1788bd4b0fd (diff) | |
download | abc-a2eb6f9a07f484d6ec941949b2e0e6421d8176dc.tar.gz abc-a2eb6f9a07f484d6ec941949b2e0e6421d8176dc.tar.bz2 abc-a2eb6f9a07f484d6ec941949b2e0e6421d8176dc.zip |
Added a fix for the writing an AIG that is not normalized.
Diffstat (limited to 'src/aig/gia')
-rw-r--r-- | src/aig/gia/giaAiger.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c index 63411013..9958f155 100644 --- a/src/aig/gia/giaAiger.c +++ b/src/aig/gia/giaAiger.c @@ -955,7 +955,7 @@ void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int int i, nBufferSize, Pos; unsigned char * pBuffer; unsigned uLit0, uLit1, uLit; - assert( Gia_ManIsNormalized(pInit) ); +// assert( Gia_ManIsNormalized(pInit) ); if ( Gia_ManCoNum(pInit) == 0 ) { |