diff --git a/src/storm/abstraction/ExplicitGameStrategy.cpp b/src/storm/abstraction/ExplicitGameStrategy.cpp
index 29748aa92..4445d697f 100644
--- a/src/storm/abstraction/ExplicitGameStrategy.cpp
+++ b/src/storm/abstraction/ExplicitGameStrategy.cpp
@@ -1,5 +1,8 @@
 #include "storm/abstraction/ExplicitGameStrategy.h"
 
+#include <limits>
+#include <algorithm>
+
 namespace storm {
     namespace abstraction {
         
diff --git a/src/storm/abstraction/ExplicitQuantiativeResultMinMax.cpp b/src/storm/abstraction/ExplicitQuantiativeResultMinMax.cpp
deleted file mode 100644
index 35237f4d5..000000000
--- a/src/storm/abstraction/ExplicitQuantiativeResultMinMax.cpp
+++ /dev/null
@@ -1,48 +0,0 @@
-#include "storm/abstraction/ExplicitQuantitativeResultMinMax.h"
-
-namespace storm {
-    namespace abstraction {
-        
-        template<typename ValueType>
-        ExplicitQuantitativeResultMinMax<ValueType>::ExplicitQuantitativeResultMinMax(uint64_t numberOfStates) = default;
-        
-        template<typename ValueType>
-        ExplicitQuantitativeResult<ValueType> const& ExplicitQuantitativeResultMinMax<ValueType>::getMin() const {
-            return min;
-        }
-        
-        template<typename ValueType>
-        ExplicitQuantitativeResult<ValueType>& ExplicitQuantitativeResultMinMax<ValueType>::getMin() {
-            return min;
-        }
-        
-        template<typename ValueType>
-        ExplicitQuantitativeResult<ValueType> const& ExplicitQuantitativeResultMinMax<ValueType>::getMax() const {
-            return max;
-        }
-        
-        template<typename ValueType>
-        ExplicitQuantitativeResult<ValueType>& ExplicitQuantitativeResultMinMax<ValueType>::getMax() {
-            return max;
-        }
-        
-        template<typename ValueType>
-        ExplicitQuantitativeResult<ValueType> const& ExplicitQuantitativeResultMinMax<ValueType>::get(storm::OptimizationDirection const& dir) const {
-            if (dir == storm::OptimizationDirection::Minimize) {
-                return this->getMin();
-            } else {
-                return this->getMax();
-            }
-        }
-        
-        template<typename ValueType>
-        ExplicitQuantitativeResult<ValueType>& ExplicitQuantitativeResultMinMax<ValueType>::get(storm::OptimizationDirection const& dir) {
-            if (dir == storm::OptimizationDirection::Minimize) {
-                return this->getMin();
-            } else {
-                return this->getMax();
-            }
-        }
-
-    }
-}