diff options
| -rw-r--r-- | src/misc/util/utilTruth.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/misc/util/utilTruth.h b/src/misc/util/utilTruth.h index fbabdbe8..1416034d 100644 --- a/src/misc/util/utilTruth.h +++ b/src/misc/util/utilTruth.h @@ -1054,8 +1054,8 @@ static inline int Abc_TtCheckCondDep2( word * pTruth, int nVars, int nSuppLim ) } static inline int Abc_TtCheckCondDep( word * pTruth, int nVars, int nSuppLim ) { - int nVarsMax = 12; - word Cof0[64], Cof1[64]; // pow( 2, nVarsMax-6 ) + int nVarsMax = 13; + word Cof0[128], Cof1[128]; // pow( 2, nVarsMax-6 ) int v, d, nWords = Abc_TtWordNum(nVars); assert( nVars <= nVarsMax ); if ( nVars <= nSuppLim + 1 ) |