From 1dc4af0e289b43f595bbc8c2b6c600bc545b1ae5 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Wed, 14 Sep 2016 22:25:30 +0200
Subject: [PATCH] switched from empty virtual destructors to default
 destructors. Also: apparently no swimming for me, Mr. B!

Former-commit-id: 31340d1502a6caa2259e366a4b411c4b02efeab1 [formerly 5229b67e7d4ecd215a93983ce8816515f5f81388]
Former-commit-id: dfb77cf34621abf1fc0b69d6d1e62ed41a5c6b61
---
 src/storage/dd/Dd.cpp                  | 5 -----
 src/storage/dd/Dd.h                    | 2 +-
 src/storage/sparse/StateValuations.cpp | 6 +-----
 src/storage/sparse/StateValuations.h   | 2 +-
 4 files changed, 3 insertions(+), 12 deletions(-)

diff --git a/src/storage/dd/Dd.cpp b/src/storage/dd/Dd.cpp
index ec6b8b2aa..ded8bb457 100644
--- a/src/storage/dd/Dd.cpp
+++ b/src/storage/dd/Dd.cpp
@@ -14,11 +14,6 @@ namespace storm {
             // Intentionally left empty.
         }
         
-        template<DdType LibraryType>
-        Dd<LibraryType>::~Dd() {
-            // Intentionally left empty.
-        }
-        
         template<DdType LibraryType>
         bool Dd<LibraryType>::containsMetaVariable(storm::expressions::Variable const& metaVariable) const {
             return containedMetaVariables.find(metaVariable) != containedMetaVariables.end();
diff --git a/src/storage/dd/Dd.h b/src/storage/dd/Dd.h
index 71f392dea..ae9728263 100644
--- a/src/storage/dd/Dd.h
+++ b/src/storage/dd/Dd.h
@@ -30,7 +30,7 @@ namespace storm {
             Dd(Dd<LibraryType>&& other) = default;
             Dd& operator=(Dd<LibraryType>&& other) = default;
             
-            virtual ~Dd();
+            virtual ~Dd() = default;
             
             /*!
              * Retrieves the support of the current DD.
diff --git a/src/storage/sparse/StateValuations.cpp b/src/storage/sparse/StateValuations.cpp
index a574d7a10..522d09f27 100644
--- a/src/storage/sparse/StateValuations.cpp
+++ b/src/storage/sparse/StateValuations.cpp
@@ -7,11 +7,7 @@ namespace storm {
             StateValuations::StateValuations(state_type const& numberOfStates) : valuations(numberOfStates) {
                 // Intentionally left empty.
             }
-            
-            StateValuations::~StateValuations() {
-                // Intentionally left empty.
-            }
-            
+                        
             std::string StateValuations::stateInfo(state_type const& state) const {
                 return valuations[state].toString();
             }
diff --git a/src/storage/sparse/StateValuations.h b/src/storage/sparse/StateValuations.h
index a378dcaf8..aa7d2c30e 100644
--- a/src/storage/sparse/StateValuations.h
+++ b/src/storage/sparse/StateValuations.h
@@ -20,7 +20,7 @@ namespace storm {
                  */
                 StateValuations(state_type const& numberOfStates);
                 
-                virtual ~StateValuations();
+                virtual ~StateValuations() = default;
                 
                 // A mapping from state indices to their variable valuations.
                 std::vector<storm::expressions::SimpleValuation> valuations;