diff --git a/src/generator/NextStateGenerator.h b/src/generator/NextStateGenerator.h index 30a4157cd..1a49b56c1 100644 --- a/src/generator/NextStateGenerator.h +++ b/src/generator/NextStateGenerator.h @@ -4,8 +4,11 @@ #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" diff --git a/storm-config.h.in b/storm-config.h.in index bac5d8a17..1bc2eac7d 100644 --- a/storm-config.h.in +++ b/storm-config.h.in @@ -51,7 +51,4 @@ #cmakedefine STORM_LOG_DISABLE_DEBUG -// -#define BOOST_VARIANT_USE_RELAXED_GET_BY_DEFAULT - #endif // STORM_GENERATED_STORMCONFIG_H_