F* Mode does not accept empty lines between attributes and functions

[karthikbhargavan]

trafficstars

The following snippet works on the F* command-line but fails in emacs.

[@@ "opaque_to_smt"]

let f (_: Prims.unit) : Prims.unit =
  ()