SLS 6.19 has:

Enumerator ::= ... 'val' Pattern1 '=' Expr

'val' here should be optional, or even omitted. It has not been required by the compiler in many years, and standard style (e.g. in Programming in Scala) is to omit it. My understanding is that it might even be disallowed in the future.