From 7938ce448e7f02f9c4f7a1b23aa90f7be5ae09da Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Wed, 27 Jul 2016 15:16:17 +0200
Subject: [PATCH] trying to fix boost variant by adding a define

Former-commit-id: 91c98c91a0497c8fc93ee62723599fddd5a58a91
---
 src/generator/NextStateGenerator.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/generator/NextStateGenerator.cpp b/src/generator/NextStateGenerator.cpp
index 54fb2f280..3f4aa5a42 100644
--- a/src/generator/NextStateGenerator.cpp
+++ b/src/generator/NextStateGenerator.cpp
@@ -12,6 +12,8 @@
 #include "src/utility/macros.h"
 #include "src/exceptions/InvalidSettingsException.h"
 
+#define BOOST_VARIANT_USE_RELAXED_GET_BY_DEFAULT
+
 namespace storm {
     namespace generator {