Fix virtual destructor

Former-commit-id: ff3ee6cafa
9 years ago · a2140141a3
1 changed files with 2 additions and 1 deletions
--- a/src/settings/modules/ModuleSettings.h
+++ b/src/settings/modules/ModuleSettings.h
@ -30,6 +30,7 @@ namespace storm {
                 * @param moduleName The name of the module for which to build the settings.
                 */
                ModuleSettings(std::string const& moduleName);
+                virtual ~ModuleSettings() {}
                
                /*!
                 * Checks whether the settings are consistent. If they are inconsistent, an exception is thrown.