diff --git a/storm-config.h.in b/storm-config.h.in index 1bc2eac7d..bac5d8a17 100644 --- a/storm-config.h.in +++ b/storm-config.h.in @@ -51,4 +51,7 @@ #cmakedefine STORM_LOG_DISABLE_DEBUG +// +#define BOOST_VARIANT_USE_RELAXED_GET_BY_DEFAULT + #endif // STORM_GENERATED_STORMCONFIG_H_