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).