diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-09 23:36:35 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-09 23:36:35 -0700 |
| commit | c9cbd3b0f1d130802bfe8593b54a3f27477c3c13 (patch) | |
| tree | 99a60a7fdcd328be6a9453c25234c7a593987680 /src/map/if/ifDec16.c | |
| parent | 6ea3a35b038d2b2b6ee59f6fb215cefa56f0124d (diff) | |
| download | abc-c9cbd3b0f1d130802bfe8593b54a3f27477c3c13.tar.gz abc-c9cbd3b0f1d130802bfe8593b54a3f27477c3c13.tar.bz2 abc-c9cbd3b0f1d130802bfe8593b54a3f27477c3c13.zip | |
Preventing a bug in &if -z.
Diffstat (limited to 'src/map/if/ifDec16.c')
| -rw-r--r-- | src/map/if/ifDec16.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/if/ifDec16.c b/src/map/if/ifDec16.c index de1d9ac4..762fecab 100644 --- a/src/map/if/ifDec16.c +++ b/src/map/if/ifDec16.c @@ -1908,7 +1908,7 @@ int If_CutPerformCheck54( If_Man_t * p, unsigned * pTruth, int nVars, int nLeave If_Grp_t If_CluCheck3( If_Man_t * p, word * pTruth0, int nVars, int nLutLeaf, int nLutLeaf2, int nLutRoot, If_Grp_t * pR, If_Grp_t * pG2, word * pFunc0, word * pFunc1, word * pFunc2 ) { - int fEnableHashing = 1; + int fEnableHashing = 0; static int Counter = 0; unsigned * pHashed = NULL; word pLeftOver[CLU_WRD_MAX], Func0, Func1, Func2; |