diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-23 14:04:40 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-23 14:04:40 -0700 |
| commit | e19d21a09b1854a35b5a0b44e43b3dd307a7f9a0 (patch) | |
| tree | 89a3d76f339f97f049c75aa97b91530a10979e8d /src/aig/gia/giaGig.c | |
| parent | 938ffa5a7dede96fcd3c9d1dc59eb9bdfa5ebe11 (diff) | |
| download | abc-e19d21a09b1854a35b5a0b44e43b3dd307a7f9a0.tar.gz abc-e19d21a09b1854a35b5a0b44e43b3dd307a7f9a0.tar.bz2 abc-e19d21a09b1854a35b5a0b44e43b3dd307a7f9a0.zip | |
Improvements to CNF generation.
Diffstat (limited to 'src/aig/gia/giaGig.c')
| -rw-r--r-- | src/aig/gia/giaGig.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaGig.c b/src/aig/gia/giaGig.c index c4c05a22..7c02e7e9 100644 --- a/src/aig/gia/giaGig.c +++ b/src/aig/gia/giaGig.c @@ -138,7 +138,7 @@ void Gia_ManPrintDelays( Vec_Int_t * vObjs, Vec_Int_t * vStore ) Gia_Man_t * Gia_ManBuildGig2( Vec_Int_t * vObjs, Vec_Int_t * vStore, char * pFileName ) { Gia_Man_t * pNew, * pTemp; - int * nObjs = Gia_ManGigCount( vObjs, vStore ); + //int * nObjs = Gia_ManGigCount( vObjs, vStore ); Vec_Int_t * vNets = Vec_IntAlloc( Vec_IntSize(vObjs) ); Vec_Int_t * vTypes = Vec_IntAlloc( Vec_IntSize(vObjs) ); Vec_Int_t * vMap; |