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;