From 7bcf78650f0d1151f73f6c69b540322d2c989e99 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Fri, 18 Jun 2021 05:47:43 +0200
Subject: [PATCH] Included missing header required to output boost::optionals
 in tests

---
 src/test/storm_gtest.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/test/storm_gtest.h b/src/test/storm_gtest.h
index 9b56f32d3..ac774dc9a 100644
--- a/src/test/storm_gtest.h
+++ b/src/test/storm_gtest.h
@@ -2,6 +2,8 @@
 
 #include "gtest/gtest.h"
 
+#include <boost/optional/optional_io.hpp>
+
 #include "storm/adapters/RationalNumberAdapter.h"
 #include "storm/utility/constants.h"
 #include "storm/utility/initialize.h"