diff options
Diffstat (limited to 'src/sat/bsat/satSolver2.c')
| -rw-r--r-- | src/sat/bsat/satSolver2.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bsat/satSolver2.c b/src/sat/bsat/satSolver2.c index 2cfadadc..f014b6fc 100644 --- a/src/sat/bsat/satSolver2.c +++ b/src/sat/bsat/satSolver2.c @@ -1155,7 +1155,7 @@ sat_solver2* sat_solver2_new(void) veci_new(&s->claActs); veci_push(&s->claActs, -1); veci_new(&s->claProofs); veci_push(&s->claProofs, -1); if ( s->fProofLogging ) - Vec_SetAlloc_( &s->Proofs ); + Vec_SetAlloc_( &s->Proofs, 20 ); // prealloc clause assert( !s->clauses.ptr ); |