diff --git a/src/parser/PrismParser.cpp b/src/parser/PrismParser.cpp index 19eed26ae..bf8d03cce 100644 --- a/src/parser/PrismParser.cpp +++ b/src/parser/PrismParser.cpp @@ -115,7 +115,7 @@ struct PrismParser::PrismGrammar : qi::grammar> relations_ >> integerExpression)[qi::_val = phoenix::construct>(phoenix::new_(qi::_1, qi::_3, qi::_2))]; - relativeExpression.name("boolean expression"); + relativeExpression.name("relative expression"); atomicBooleanExpression %= (relativeExpression | booleanVariableExpression | qi::lit("(") >> booleanExpression >> qi::lit(")") | booleanConstantExpression); atomicBooleanExpression.name("boolean expression"); notExpression = atomicBooleanExpression[qi::_val = qi::_1] | (qi::lit("!") >> atomicBooleanExpression)[qi::_val = phoenix::construct>(phoenix::new_(qi::_1, storm::ir::expressions::UnaryBooleanFunctionExpression::NOT))];