From 64ac92930139a4cb83a3885102ddd95714b7cc82 Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Tue, 27 Nov 2018 22:07:14 +0700
Subject: [PATCH] Use 'override' in new code.

---
 src/ast/recfun_decl_plugin.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/ast/recfun_decl_plugin.cpp b/src/ast/recfun_decl_plugin.cpp
index 1ac44067f..ebdf86ca5 100644
--- a/src/ast/recfun_decl_plugin.cpp
+++ b/src/ast/recfun_decl_plugin.cpp
@@ -68,7 +68,7 @@ namespace recfun {
         struct ite_find_p : public i_expr_pred {
             ast_manager & m;
             ite_find_p(ast_manager & m) : m(m) {}
-            virtual bool operator()(expr * e) { return m.is_ite(e); }
+            bool operator()(expr * e) override { return m.is_ite(e); }
         };
         // ignore ites under quantifiers.
         // this is redundant as the code
@@ -331,7 +331,7 @@ namespace recfun {
     struct is_imm_pred : is_immediate_pred {
         util & u;
         is_imm_pred(util & u) : u(u) {}
-        bool operator()(expr * rhs) {
+        bool operator()(expr * rhs) override {
             // find an `app` that is an application of a defined function
             struct find : public i_expr_pred {
                 util & u;