From 2646097d8e0bc90af69c5e600106b63d3958fa7c Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 27 Jul 2017 12:30:53 +0200
Subject: [PATCH] added virtual destructor for NextStateGenerator

---
 src/storm/generator/NextStateGenerator.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/storm/generator/NextStateGenerator.h b/src/storm/generator/NextStateGenerator.h
index f894d84a3..25335dbfc 100644
--- a/src/storm/generator/NextStateGenerator.h
+++ b/src/storm/generator/NextStateGenerator.h
@@ -44,6 +44,8 @@ namespace storm {
              */
             NextStateGenerator(storm::expressions::ExpressionManager const& expressionManager, NextStateGeneratorOptions const& options);
             
+            virtual ~NextStateGenerator() = default;
+            
             uint64_t getStateSize() const;
             virtual ModelType getModelType() const = 0;
             virtual bool isDeterministicModel() const = 0;