From 7455bd8e00b7388391838e5b1c034b0d2dcc7e01 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 1 Jul 2021 12:29:43 +0200
Subject: [PATCH] add missing include

---
 src/storm/environment/modelchecker/ModelCheckerEnvironment.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm/environment/modelchecker/ModelCheckerEnvironment.h b/src/storm/environment/modelchecker/ModelCheckerEnvironment.h
index 416172a36..b5bca9835 100644
--- a/src/storm/environment/modelchecker/ModelCheckerEnvironment.h
+++ b/src/storm/environment/modelchecker/ModelCheckerEnvironment.h
@@ -1,6 +1,7 @@
 #pragma once
 
 #include <memory>
+#include <string>
 #include <boost/optional.hpp>
 
 #include "storm/environment/Environment.h"