From 18b6e812a7fccf4bc8285fdf57d296364f658a6f Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Sun, 24 Feb 2013 17:49:04 +0100
Subject: [PATCH] Added #include <memory>, as std::shared_ptr is used within
 this file

---
 src/ir/expressions/BinaryExpression.h | 1 +
 1 file changed, 1 insertion(+)

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 <memory>
 
 namespace storm {