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 #include - #include -#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"