From 894c3bb4971c46d1703b02787f3c6a4e673049f4 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Wed, 3 Dec 2014 23:41:20 +0100
Subject: [PATCH] Added missing header.

Former-commit-id: 30d5444d231846824f79b24067157f6af1cbf0b4
---
 src/storage/StateBlock.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/storage/StateBlock.h b/src/storage/StateBlock.h
index 32d21c98c..528a01f6b 100644
--- a/src/storage/StateBlock.h
+++ b/src/storage/StateBlock.h
@@ -1,6 +1,8 @@
 #ifndef STORM_STORAGE_BLOCK_H_
 #define STORM_STORAGE_BLOCK_H_
 
+#include <ostream>
+
 #include <boost/container/flat_set.hpp>
 #include <boost/container/container_fwd.hpp>