Formatter bug

[MikaelMayer]

Dafny version

4.0.0

Code to produce this issue

function Example(
  newNames : map<string, string> := map[],
  a: int
) : bool
{
  true
}

Command to run and resulting output

dafny format

function Example(
  newNames : map<string, string> := map[],
                                        a: int
) : bool
{
  true
}

What happened?

The second argument shouldn't be badly formatted

What type of operating system are you experiencing the problem on?

Windows