diff --git a/prism/src/parser/ast/Property.java b/prism/src/parser/ast/Property.java index 2f86ff6d..16ba7d7f 100644 --- a/prism/src/parser/ast/Property.java +++ b/prism/src/parser/ast/Property.java @@ -190,7 +190,9 @@ public class Property extends ASTElement // Found it... if (allMatch) { strExpected = matcher.group(3); - continue; + // we return the expected answer for the first RESULT that matches + // the constants + break; } } }