More refactor

meelgroup · Feb 28, 2024 · a4e669a · a4e669a
1 parent 6906822
commit a4e669a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/sbva.cpp b/src/sbva.cpp
@@ -315,7 +315,7 @@ class Formula {
             int var = sparcevec_lit_for_idx(*varPtr);
             int count = vec2->coeffRef(sparsevec_lit_idx(var));
             update_adjacency_matrix(var);
-            Eigen::SparseVector<int> *vec3 = &adjacency_matrix[sparsevec_lit_idx(var)];
+            auto vec3 = &adjacency_matrix[sparsevec_lit_idx(var)];
             total_count += count * vec3->dot(*vec1);
         }
         tmp_heuristic_cache_full[sparsevec_lit_idx(lit2)] = total_count;