Typos in 6.2.11 Example4

Please read this!

Before opening a new issue, make sure to search for keywords in the issues tracker and verify the issue you're about to submit isn't a duplicate.

Please remove this notice if you're confident your issue isn't a duplicate.

Bellow template is a suggestion for a editorial report. Feel free to modify it as you see fit.

---

General Information

Mantis ID/URL:

Clauses:6.2.11

Affiliation:Ericsson

Description

In 6.2.11 Example4 in the last two alternatives

    alt {

       [] pCO1.receive(M1:?) from MyCompType1:? -> value v_myMessage sender v_myInst1 {}

       [] pCO1.receive(M1:?) from MyCompType1:? -> value v_myMessage sender v_myInst2 {}

       [] pCO1.receive(M1:?) from MyCompType1:? -> value v_myMessage sender v_myInst3 {}

    }

Instead of from MyCompType1:?

from MyCompType2:? from MyCompType3:? shall stand, respectively.

alt {

       [] pCO1.receive(M1:?) from MyCompType1:? -> value v_myMessage sender v_myInst1 {}

       [] pCO1.receive(M1:?) from MyCompType2:? -> value v_myMessage sender v_myInst2 {}

       [] pCO1.receive(M1:?) from MyCompType3:? -> value v_myMessage sender v_myInst3 {}

    }