diff --git a/schedulers/tetrisched/include/tetrisched/GurobiSolver.hpp b/schedulers/tetrisched/include/tetrisched/GurobiSolver.hpp index 42f2bc4d..0065f905 100644 --- a/schedulers/tetrisched/include/tetrisched/GurobiSolver.hpp +++ b/schedulers/tetrisched/include/tetrisched/GurobiSolver.hpp @@ -13,6 +13,8 @@ class GurobiSolver : public Solver { struct GurobiInterruptParams { /// The time limit for the optimization (in milliseconds). std::optional