Override convert_initialize_value method in bit_blaster_model_convert…

…er.cpp
Z3Prover · Sep 23, 2024 · 5a6dc18 · 5a6dc18
1 parent 5c58329
commit 5a6dc18
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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;