From 6594c3a0461a106a528e330b1d5427bbc8e4bebd Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 10 Dec 2016 13:58:39 +0100
Subject: [PATCH] add virtual destructor to intermediary class in case this
 helps for #835

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/muz/rel/dl_base.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/muz/rel/dl_base.h b/src/muz/rel/dl_base.h
index 1c7a81444..9b573f71f 100644
--- a/src/muz/rel/dl_base.h
+++ b/src/muz/rel/dl_base.h
@@ -220,6 +220,8 @@ namespace datalog {
         */
         class mutator_fn : public base_fn {
         public:
+            virtual ~mutator_fn() {}
+
             virtual void operator()(base_object & t) = 0;
 
             virtual bool supports_attachment(base_object& other) { return false; }