diff options
Diffstat (limited to 'src/sat/bsat/satProof.c')
| -rw-r--r-- | src/sat/bsat/satProof.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bsat/satProof.c b/src/sat/bsat/satProof.c index 2c172ff6..8fbac191 100644 --- a/src/sat/bsat/satProof.c +++ b/src/sat/bsat/satProof.c @@ -534,7 +534,7 @@ void Sat_ProofCheck( sat_solver2 * s ) Proof_CleanCollected( vProof, vUsed ); // perform resolution steps vTemp = Vec_IntAlloc( 1000 ); - vResolves = Vec_SetAlloc(); + vResolves = Vec_SetAlloc( 20 ); Proof_ForeachNodeVec( vUsed, vProof, pSet, i ) { Handle = -1; |