diff --git a/src/solver/MinMaxLinearEquationSolver.h b/src/solver/MinMaxLinearEquationSolver.h index a9c497d45..6c547cf0c 100644 --- a/src/solver/MinMaxLinearEquationSolver.h +++ b/src/solver/MinMaxLinearEquationSolver.h @@ -14,6 +14,7 @@ #include "src/solver/OptimizationDirection.h" #include "src/exceptions/InvalidSettingsException.h" +#include "src/utility/macros.h" namespace storm { namespace storage {