Fixing up

meelgroup · Feb 28, 2024 · e3f3a20 · e3f3a20
1 parent 75f5149
commit e3f3a20
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;