From cf1c0a6009321bb2cd406fa0ec08558a64a302d1 Mon Sep 17 00:00:00 2001 From: dehnert Date: Tue, 17 May 2016 22:37:04 +0200 Subject: [PATCH] got rid of some spirit warnings Former-commit-id: a358842770510dca49432998022e4e5322cf70c8 --- src/parser/PrismParser.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/parser/PrismParser.cpp b/src/parser/PrismParser.cpp index 1a55f0339..50a9b0627 100644 --- a/src/parser/PrismParser.cpp +++ b/src/parser/PrismParser.cpp @@ -159,13 +159,13 @@ namespace storm { hidingOrRenamingComposition = hidingComposition | renamingComposition | atomicComposition; hidingOrRenamingComposition.name("hiding/renaming composition"); - hidingComposition = (atomicComposition >> qi::lit("/") > (qi::lit("{") > actionNameList > qi::lit("}")))[qi::_val = phoenix::bind(&PrismParser::createHidingComposition, phoenix::ref(*this), qi::_1, qi::_2)]; + hidingComposition = (atomicComposition >> (qi::lit("/") > (qi::lit("{") > actionNameList > qi::lit("}"))))[qi::_val = phoenix::bind(&PrismParser::createHidingComposition, phoenix::ref(*this), qi::_1, qi::_2)]; hidingComposition.name("hiding composition"); actionRenamingList = +(identifier >> (qi::lit("<-") >> identifier))[phoenix::insert(qi::_val, phoenix::construct>(qi::_2, qi::_1))]; actionRenamingList.name("action renaming list"); - renamingComposition = (atomicComposition >> qi::lit("{") > (actionRenamingList > qi::lit("}")))[qi::_val = phoenix::bind(&PrismParser::createRenamingComposition, phoenix::ref(*this), qi::_1, qi::_2)]; + renamingComposition = (atomicComposition >> (qi::lit("{") > (actionRenamingList > qi::lit("}"))))[qi::_val = phoenix::bind(&PrismParser::createRenamingComposition, phoenix::ref(*this), qi::_1, qi::_2)]; renamingComposition.name("renaming composition"); atomicComposition = qi::lit("(") > parallelComposition > qi::lit(")") | moduleComposition;