diff --git a/src/generator/NextStateGenerator.cpp b/src/generator/NextStateGenerator.cpp index f7cacafc2..4d2776386 100644 --- a/src/generator/NextStateGenerator.cpp +++ b/src/generator/NextStateGenerator.cpp @@ -30,7 +30,7 @@ namespace storm { } std::string const& LabelOrExpression::getLabel() const { - return boost::get(labelOrExpression); + return boost::get(labelOrExpression); } bool LabelOrExpression::isExpression() const { @@ -38,7 +38,7 @@ namespace storm { } storm::expressions::Expression const& LabelOrExpression::getExpression() const { - return boost::get(labelOrExpression); + return boost::get(labelOrExpression); } NextStateGeneratorOptions::NextStateGeneratorOptions(bool buildAllRewardModels, bool buildAllLabels) : buildAllRewardModels(buildAllRewardModels), buildAllLabels(buildAllLabels), buildChoiceLabels(false) {