From c9593b9e98acf6ef6e0e64c0c9c9748d13753854 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Thu, 21 Jul 2016 16:36:41 +0200
Subject: [PATCH] trying to fix the boost variant stuff differently

Former-commit-id: a1fb8efece26b89e7cc3fb2072c1db31945d3c15
---
 src/generator/NextStateGenerator.h | 3 +++
 storm-config.h.in                  | 3 ---
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/generator/NextStateGenerator.h b/src/generator/NextStateGenerator.h
index 30a4157cd..1a49b56c1 100644
--- a/src/generator/NextStateGenerator.h
+++ b/src/generator/NextStateGenerator.h
@@ -4,8 +4,11 @@
 #include <vector>
 #include <cstdint>
 
+
 #include <boost/variant.hpp>
 
+#define BOOST_VARIANT_USE_RELAXED_GET_BY_DEFAULT
+
 #include "src/storage/expressions/Expression.h"
 #include "src/storage/BitVectorHashMap.h"
 #include "src/storage/expressions/ExpressionEvaluator.h"
diff --git a/storm-config.h.in b/storm-config.h.in
index bac5d8a17..1bc2eac7d 100644
--- a/storm-config.h.in
+++ b/storm-config.h.in
@@ -51,7 +51,4 @@
 
 #cmakedefine STORM_LOG_DISABLE_DEBUG
 
-//
-#define BOOST_VARIANT_USE_RELAXED_GET_BY_DEFAULT
-
 #endif // STORM_GENERATED_STORMCONFIG_H_