From a831fe9609488a98ac53fba725bb54707ae27942 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 24 Sep 2024 11:15:47 +0100
Subject: [PATCH] fix some build warnings

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/muz/spacer/spacer_global_generalizer.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/muz/spacer/spacer_global_generalizer.cpp b/src/muz/spacer/spacer_global_generalizer.cpp
index 55bc4eec791..e4b16cfbbb2 100644
--- a/src/muz/spacer/spacer_global_generalizer.cpp
+++ b/src/muz/spacer/spacer_global_generalizer.cpp
@@ -223,7 +223,7 @@ void lemma_global_generalizer::subsumer::setup_cvx_closure(
 
     cc.reset(n_vars);
 
-    unsigned bv_width;
+    unsigned bv_width = 0;
     if (contains_bv(m, lc.get_lemmas()[0].get_sub(), bv_width)) {
         cc.set_bv(bv_width);
     }
@@ -232,7 +232,7 @@ void lemma_global_generalizer::subsumer::setup_cvx_closure(
         cc.set_col_var(j, mk_rat_mul(m_col_lcm.get(j), m_col_names.get(j)));
 
     vector<rational> row;
-    unsigned i;
+    unsigned i = 0;
     for (const auto &lemma : lemmas) {
         row.reset();
         row.reserve(n_vars);