diff --git a/src/generator/NextStateGenerator.cpp b/src/generator/NextStateGenerator.cpp index 54fb2f280..3f4aa5a42 100644 --- a/src/generator/NextStateGenerator.cpp +++ b/src/generator/NextStateGenerator.cpp @@ -12,6 +12,8 @@ #include "src/utility/macros.h" #include "src/exceptions/InvalidSettingsException.h" +#define BOOST_VARIANT_USE_RELAXED_GET_BY_DEFAULT + namespace storm { namespace generator {