Fixing destructors of model checker helpers.

4 years ago · 05d2af2bfd
2 changed files with 1 additions and 2 deletions
--- 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
--- 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