From e3f3a20176bf7828f49b2cd7e78b1c483393076f Mon Sep 17 00:00:00 2001
From: Mate Soos <soos.mate@gmail.com>
Date: Wed, 28 Feb 2024 22:05:36 +0100
Subject: [PATCH] Fixing up

---
 src/sbva.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/sbva.cpp b/src/sbva.cpp
index 68127ef..6fcb3b4 100644
--- a/src/sbva.cpp
+++ b/src/sbva.cpp
@@ -144,6 +144,7 @@ class Formula {
     void init_cnf(uint32_t _num_vars) {
         num_vars = _num_vars;
         lit_count_adjust.resize(num_vars * 2);
+        lit_to_clauses.resize(num_vars * 2);
         adjacency_matrix_width = num_vars * 4;
         adjacency_matrix.resize(num_vars);
         found_header = true;
@@ -210,7 +211,6 @@ class Formula {
             } else if (line[0] == 'p') {
                 sscanf(line, "p cnf %lu %lu", &num_vars, &num_clauses);
                 clauses.resize(num_clauses);
-                clauses.reserve(num_clauses * 10);
                 lit_to_clauses.resize(num_vars * 2);
                 lit_count_adjust.resize(num_vars * 2);
                 adjacency_matrix_width = num_vars * 4;