Formatting gets rid of includes

[MikaelMayer]

Dafny version

latest-nightly

Code to produce this issue

// Main.dfy

include "library.dfy"

module Main {
  import opened Library
  function get_value(): int { value }
}

// library.dfy

module Library {
  const value := 10
}

Command to run and resulting output

Open Main.dfy in vs code, right click, Dafny, format

What happened?

The include statement is removed

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

Windows