QVT11 — Section: 8/2 page 92

the attribute withReturn of the VariableInitExp class should be named withResult (see Figure 8.6) "...is notated using ':=' if withReturn property..." it should say: "...is notated using ':=' if withResult property..." (see Figure 8.6) "...uses '::=' if withReturn is true." it should say: "...uses '::=' if withResult is true." (see Figure 8.6)

In Section 8.2.2.10 5VariableInitExp), replace all occurrence of
word 'withResult' by 'withReturn'.

Note (Responding AB review feedback):
There is a typo error in resolution text: we should read " replace all occurrence of
word 'withReturn' by 'withResult'. This is consistent with Fig 8.6 (VariableInitExp::withResult defined) - which is left unchanged by the resolution - and also consistent with the summary text of the issue.