diff --git a/src/storm/environment/solver/MultiplierEnvironment.cpp b/src/storm/environment/solver/MultiplierEnvironment.cpp
index 0dd7f031a..08e0dea5b 100644
--- a/src/storm/environment/solver/MultiplierEnvironment.cpp
+++ b/src/storm/environment/solver/MultiplierEnvironment.cpp
@@ -29,13 +29,4 @@ namespace storm {
         type = value;
         typeSetFromDefault = isSetFromDefault;
     }
-
-    void MultiplierEnvironment::setOptimizationDirectionOverride(storm::storage::BitVector optDirOverride) {
-        optimizationDirectionOverride = optDirOverride;
-    }
-
-    boost::optional<storm::storage::BitVector> const& MultiplierEnvironment::getOptimizationDirectionOverride() const {
-        return optimizationDirectionOverride;
-    }
-
 }
diff --git a/src/storm/environment/solver/MultiplierEnvironment.h b/src/storm/environment/solver/MultiplierEnvironment.h
index 945b62602..f851feca3 100644
--- a/src/storm/environment/solver/MultiplierEnvironment.h
+++ b/src/storm/environment/solver/MultiplierEnvironment.h
@@ -18,14 +18,8 @@ namespace storm {
         storm::solver::MultiplierType const& getType() const;
         bool const& isTypeSetFromDefault() const;
         void setType(storm::solver::MultiplierType value, bool isSetFromDefault = false);
-
-        void setOptimizationDirectionOverride(storm::storage::BitVector optimizationDirectionOverride);
-        boost::optional<storm::storage::BitVector> const& getOptimizationDirectionOverride() const;
-
     private:
         storm::solver::MultiplierType type;
         bool typeSetFromDefault;
-
-        boost::optional<storm::storage::BitVector> optimizationDirectionOverride = boost::none;
     };
 }