Making things compile again...

src/storm/solver/LpMinMaxLinearEquationSolver.cpp

@@ -120,9 +120,7 @@ namespace storm {
                 requirements.requireNoEndComponents();
             }
             
-            if (env.solver().minMax().isForceBoundsSet()) {
-                requirements.requireBounds();
-            }
+            requirements.requireBounds(false);
             
             return  requirements;
         }

src/storm/solver/SymbolicMinMaxLinearEquationSolver.cpp

@@ -458,10 +458,6 @@ namespace storm {
                 STORM_LOG_THROW(false, storm::exceptions::InvalidEnvironmentException, "The selected min max technique is not supported by this solver.");
             }
 
-            if (env.solver().minMax().isForceBoundsSet()) {
-                requirements.requireBounds();
-            }
-            
             return requirements;
         }
         

src/test/storm/solver/LinearEquationSolverTest.cpp

@@ -345,7 +345,7 @@ namespace {
         auto requirements = factory.getRequirements(this->env());
         requirements.clearUpperBounds();
         requirements.clearLowerBounds();
-        ASSERT_TRUE(requirements.empty());
+        ASSERT_FALSE(requirements.hasEnabledRequirement());
         auto solver = factory.create(this->env(), A);
         solver->setBounds(this->parseNumber("-100"), this->parseNumber("100"));
         ASSERT_NO_THROW(solver->solveEquations(this->env(), x, b));