From 510e52527453f8465701fa959f11dbdc01810470 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Sun, 31 Jul 2016 12:50:40 +0200
Subject: [PATCH] removed unnecessary define for boost::variant problem

Former-commit-id: 9c64abbbda3e7e533c474866198fb44cc40fd08d
---
 src/generator/NextStateGenerator.cpp | 2 --
 src/generator/NextStateGenerator.h   | 3 ---
 2 files changed, 5 deletions(-)

diff --git a/src/generator/NextStateGenerator.cpp b/src/generator/NextStateGenerator.cpp
index 4d2776386..9c1eefbd5 100644
--- a/src/generator/NextStateGenerator.cpp
+++ b/src/generator/NextStateGenerator.cpp
@@ -12,8 +12,6 @@
 #include "src/utility/macros.h"
 #include "src/exceptions/InvalidSettingsException.h"
 
-#define BOOST_VARIANT_USE_RELAXED_GET_BY_DEFAULT
-
 namespace storm {
     namespace generator {
         
diff --git a/src/generator/NextStateGenerator.h b/src/generator/NextStateGenerator.h
index 1a49b56c1..30a4157cd 100644
--- a/src/generator/NextStateGenerator.h
+++ b/src/generator/NextStateGenerator.h
@@ -4,11 +4,8 @@
 #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"