diff --git a/src/smt/smt_model_finder.cpp b/src/smt/smt_model_finder.cpp
index 9647bca81..f5d9d6100 100644
--- a/src/smt/smt_model_finder.cpp
+++ b/src/smt/smt_model_finder.cpp
@@ -2541,4 +2541,4 @@ namespace smt {
             m_new_constraints.reset();
         }
     }
-};
+}
diff --git a/src/smt/smt_model_finder.h b/src/smt/smt_model_finder.h
index 47fe10ab4..1c468fc64 100644
--- a/src/smt/smt_model_finder.h
+++ b/src/smt/smt_model_finder.h
@@ -120,7 +120,7 @@ namespace smt {
 
         void checkpoint(char const* component);
 
-        quantifier_macro_info* operator()(quantifier* q);
+        quantifier_macro_info* operator()(quantifier* q) override;
 
     };
 };