diff --git a/src/storm/solver/Multiplier.h b/src/storm/solver/Multiplier.h index 4356c583e..c420984e7 100644 --- a/src/storm/solver/Multiplier.h +++ b/src/storm/solver/Multiplier.h @@ -1,5 +1,8 @@ #pragma once +#include +#include + #include "storm/solver/OptimizationDirection.h" #include "storm/solver/MultiplicationStyle.h"