You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.
Yea that sounds right.
I think this can be fixed by adding a + to the SPACE definition in the parser. I was rooting through that the other day but I didn't commit anything yet.
Activity
stale commentedon Jun 29, 2019
This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.
IOrlandoni commentedon Jul 12, 2019
I'd be happy to work on this.
Would the solutionbe as simple as not treating the whitespace as part of the actor name in the participant declaration without a description?
ThePenguin1140 commentedon Jul 13, 2019
Yea that sounds right.
I think this can be fixed by adding a
+
to the SPACE definition in the parser. I was rooting through that the other day but I didn't commit anything yet.IOrlandoni commentedon Jul 14, 2019
Merged to master on #882