From 32c63ce4cdae0e244c2b01ac0f0e0637035ec6d3 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 10 Dec 2016 17:23:59 +0100
Subject: [PATCH] address other warnings per input from delcypher

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/ast/rewriter/rewriter.h      | 2 +-
 src/cmd_context/parametric_cmd.h | 1 +
 src/muz/rel/dl_base.h            | 1 +
 3 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/ast/rewriter/rewriter.h b/src/ast/rewriter/rewriter.h
index 401d00d89..fc596cabd 100644
--- a/src/ast/rewriter/rewriter.h
+++ b/src/ast/rewriter/rewriter.h
@@ -111,7 +111,7 @@ protected:
     void elim_reflex_prs(unsigned spos);
 public:
     rewriter_core(ast_manager & m, bool proof_gen);
-    ~rewriter_core();
+    virtual ~rewriter_core();
     ast_manager & m() const { return m_manager; }
     void reset();
     void cleanup();
diff --git a/src/cmd_context/parametric_cmd.h b/src/cmd_context/parametric_cmd.h
index 3e95832c4..cac5fe38e 100644
--- a/src/cmd_context/parametric_cmd.h
+++ b/src/cmd_context/parametric_cmd.h
@@ -72,6 +72,7 @@ public:
         // m_params.set_func_decl(m_last, f); 
         // m_last = symbol::null; 
     }
+    virtual void set_next_arg(cmd_context & ctx, sexpr * n) { UNREACHABLE(); }
 };
 
 #endif
diff --git a/src/muz/rel/dl_base.h b/src/muz/rel/dl_base.h
index 9b573f71f..9a2db4dbb 100644
--- a/src/muz/rel/dl_base.h
+++ b/src/muz/rel/dl_base.h
@@ -871,6 +871,7 @@ namespace datalog {
 
     class table_row_mutator_fn {
     public:
+        virtual ~table_row_mutator_fn() {}
         /**
             \brief The function is called for a particular table row. The \c func_columns contains 
             a pointer to an array of functional column values that can be modified. If the function