From b77c57451f212e8ea62e7db0067b06d01d8471db Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Sun, 18 Oct 2020 11:31:21 +0100
Subject: [PATCH] fix compiler warnings #4727

---
 src/smt/smt_model_finder.cpp | 2 +-
 src/smt/smt_model_finder.h   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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;
 
     };
 };