From c9cbd3b0f1d130802bfe8593b54a3f27477c3c13 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 9 Oct 2013 23:36:35 -0700 Subject: Preventing a bug in &if -z. --- src/map/if/ifDec16.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/map/if/ifDec16.c') 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; -- cgit v1.2.3