diff options
Diffstat (limited to 'src/sat/bsat/satTruth.c')
| -rw-r--r-- | src/sat/bsat/satTruth.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bsat/satTruth.c b/src/sat/bsat/satTruth.c index dc5644b3..dabb404f 100644 --- a/src/sat/bsat/satTruth.c +++ b/src/sat/bsat/satTruth.c @@ -215,7 +215,7 @@ Tru_Man_t * Tru_ManAlloc( int nVars ) p->nEntrySize = (sizeof(Tru_One_t) + p->nWords * sizeof(word))/sizeof(int); p->nTableSize = 8147; p->pTable = ABC_CALLOC( int, p->nTableSize ); - p->pMem = Vec_SetAlloc(); + p->pMem = Vec_SetAlloc( 16 ); // initialize truth tables p->pZero = ABC_ALLOC( word, p->nWords ); for ( i = 0; i < nVars; i++ ) |