From 05d2af2bfd3f247195f0869c27ac04b4ced87854 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 10 Aug 2020 18:34:00 +0200
Subject: [PATCH] Fixing destructors of model checker helpers.

---
 src/storm/modelchecker/helper/ModelCheckerHelper.h            | 2 +-
 src/storm/modelchecker/helper/SingleValueModelCheckerHelper.h | 1 -
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/storm/modelchecker/helper/ModelCheckerHelper.h b/src/storm/modelchecker/helper/ModelCheckerHelper.h
index 02ee35531..bdf708d07 100644
--- a/src/storm/modelchecker/helper/ModelCheckerHelper.h
+++ b/src/storm/modelchecker/helper/ModelCheckerHelper.h
@@ -23,7 +23,7 @@ namespace storm {
                 typedef VT ValueType;
 
                 ModelCheckerHelper() = default;
-                ~ModelCheckerHelper() = default;
+                virtual ~ModelCheckerHelper() = default;
                 
                 /*!
                  * Identifies a subset of the model states
diff --git a/src/storm/modelchecker/helper/SingleValueModelCheckerHelper.h b/src/storm/modelchecker/helper/SingleValueModelCheckerHelper.h
index 82184ad12..2b7776c3d 100644
--- a/src/storm/modelchecker/helper/SingleValueModelCheckerHelper.h
+++ b/src/storm/modelchecker/helper/SingleValueModelCheckerHelper.h
@@ -19,7 +19,6 @@ namespace storm {
             public:
 
                 SingleValueModelCheckerHelper();
-                ~SingleValueModelCheckerHelper() = default;
                 
                 /*!
                  * Sets the optimization direction, i.e., whether we want to minimize or maximize the value for each state