diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-05 17:48:21 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-12-05 17:48:21 -0800 |
| commit | 3169bd96b784cbc86bb523cb6de094580299fdb6 (patch) | |
| tree | 17dddfba55d565968af6a315dbed9cc02b69021a /src/proof | |
| parent | 6a351c4dc0d4da86d2a82efdecd09021a2e6280f (diff) | |
| download | abc-3169bd96b784cbc86bb523cb6de094580299fdb6.tar.gz abc-3169bd96b784cbc86bb523cb6de094580299fdb6.tar.bz2 abc-3169bd96b784cbc86bb523cb6de094580299fdb6.zip | |
Compiler warnings.
Diffstat (limited to 'src/proof')
| -rw-r--r-- | src/proof/acec/acecPolyn.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/acec/acecPolyn.c b/src/proof/acec/acecPolyn.c index 042e0c59..53ddf710 100644 --- a/src/proof/acec/acecPolyn.c +++ b/src/proof/acec/acecPolyn.c @@ -429,7 +429,7 @@ void Gia_PolynBuild2( Gia_Man_t * pGia, int fSigned, int fVerbose, int fVeryVerb { Hsh_VecMan_t * pHashC = Hsh_VecManStart( 1000 ); // hash table for constants Hsh_VecMan_t * pHashM = Hsh_VecManStart( 1000 ); // hash table for monomials - Vec_Wec_t * vLit2Mono = Vec_WecStart( Gia_ManObjNum(pGia) * 2 ); + //Vec_Wec_t * vLit2Mono = Vec_WecStart( Gia_ManObjNum(pGia) * 2 ); Hsh_VecManStop( pHashC ); Hsh_VecManStop( pHashM ); |