diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-20 16:23:48 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-05-20 16:23:48 -0700 |
| commit | 3b62ee457544bcc8f6191746bff895f2f98cddf9 (patch) | |
| tree | 6b65c271d83a8e3066a0238b8c1e566adbbd4ae7 /src/aig/gia/giaAiger.c | |
| parent | 27c44fd644f7fa46a72e5b8b19465dc61752657d (diff) | |
| download | abc-3b62ee457544bcc8f6191746bff895f2f98cddf9.tar.gz abc-3b62ee457544bcc8f6191746bff895f2f98cddf9.tar.bz2 abc-3b62ee457544bcc8f6191746bff895f2f98cddf9.zip | |
Enabling AIGs without structural hashing.
Diffstat (limited to 'src/aig/gia/giaAiger.c')
| -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 2aadf07f..8e7423aa 100644 --- a/src/aig/gia/giaAiger.c +++ b/src/aig/gia/giaAiger.c @@ -848,7 +848,7 @@ Gia_Man_t * Gia_AigerReadFromMemory( char * pContents, int nFileSize, int fGiaSi } } pInit[i] = 0; - pNew = Gia_ManDupZeroUndc( pTemp = pNew, pInit, 1 ); + pNew = Gia_ManDupZeroUndc( pTemp = pNew, pInit, fGiaSimple, 1 ); pNew->nConstrs = pTemp->nConstrs; pTemp->nConstrs = 0; Gia_ManStop( pTemp ); ABC_FREE( pInit ); |