NAME
separators - for sequential composition of statements and declarations.

SYNTAX
step ; step
step -> step

DESCRIPTION
The semi-colon and the arrow are (equivalent) statement separators in Promela, they are not statement terminators , although the parser has been taught to be forgiving for occasional lapses. The last statement in a sequence need not be followed by a statement separator, unlike, for instance, in C.

EXAMPLES

x = 3;

atomic {

	x = y;

	y = x	/* no separator required here */

};		/* but it is required here... */

y = 3

SEE ALSO
break(3), goto(3).