From fb5db51595994ff261e0bb36556711690a093c2f Mon Sep 17 00:00:00 2001 From: Mavo Date: Wed, 18 May 2016 14:53:58 +0200 Subject: [PATCH] Missing include Former-commit-id: 16d4ff67dcbf7cb8c74b873d7b69279b7f03ec69 --- src/solver/MinMaxLinearEquationSolver.h | 1 + 1 file changed, 1 insertion(+) 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 {