Added #include <memory>, as std::shared_ptr is used within this file

12 years ago · 18b6e812a7
1 changed files with 1 additions and 0 deletions
--- 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 <memory>

 namespace storm {