removed unnecessary define for boost::variant problem

Former-commit-id: 9c64abbbda
9 years ago · 510e525274
2 changed files with 0 additions and 5 deletions
--- 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 {
        
--- 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"