From a6e4c3f6fd6a0a61ac1964fb9ece5aa073a97569 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Thu, 21 Jul 2016 16:04:08 +0200
Subject: [PATCH] hotfix for boost-variants, might be moved later on

Former-commit-id: 9e1193bbd9b44b62daad4dd55ec1f430a093c4c2
---
 storm-config.h.in | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/storm-config.h.in b/storm-config.h.in
index 1bc2eac7d..bac5d8a17 100644
--- a/storm-config.h.in
+++ b/storm-config.h.in
@@ -51,4 +51,7 @@
 
 #cmakedefine STORM_LOG_DISABLE_DEBUG
 
+//
+#define BOOST_VARIANT_USE_RELAXED_GET_BY_DEFAULT
+
 #endif // STORM_GENERATED_STORMCONFIG_H_