From 5a6dc18d0d7843a6b8583be193056fee467995f6 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 23 Sep 2024 13:46:50 +0100
Subject: [PATCH] Override convert_initialize_value method in
 bit_blaster_model_converter.cpp

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

diff --git a/src/tactic/bv/bit_blaster_model_converter.cpp b/src/tactic/bv/bit_blaster_model_converter.cpp
index 5bc874abb..ee48f48a1 100644
--- a/src/tactic/bv/bit_blaster_model_converter.cpp
+++ b/src/tactic/bv/bit_blaster_model_converter.cpp
@@ -222,7 +222,7 @@ struct bit_blaster_model_converter : public model_converter {
         // no-op
     }
 
-    void convert_initialize_value(vector<std::pair<expr_ref, expr_ref>>& var2value) {
+    void convert_initialize_value(vector<std::pair<expr_ref, expr_ref>>& var2value) override {
         if (m_vars.empty() || var2value.empty())
             return;
         rational r;