From 4302aa0be006f7775b94ec0bcfae67d2f5e899ec Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Mon, 27 Aug 2018 18:41:43 +0200
Subject: [PATCH] added missing include

---
 src/storm/builder/DdPrismModelBuilder.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm/builder/DdPrismModelBuilder.h b/src/storm/builder/DdPrismModelBuilder.h
index 57d990b23..fb357a6c8 100644
--- a/src/storm/builder/DdPrismModelBuilder.h
+++ b/src/storm/builder/DdPrismModelBuilder.h
@@ -3,6 +3,7 @@
 
 #include <map>
 #include <boost/optional.hpp>
+#include <boost/variant.hpp>
 
 #include "storm/storage/prism/Program.h"