diff --git a/src/ir/expressions/BinaryExpression.h b/src/ir/expressions/BinaryExpression.h index 03b933c48..c5b4ba9f5 100644 --- a/src/ir/expressions/BinaryExpression.h +++ b/src/ir/expressions/BinaryExpression.h @@ -9,6 +9,7 @@ #define STORM_IR_EXPRESSIONS_BINARYEXPRESSION_H_ #include "BaseExpression.h" +#include namespace storm {