Parsing bug: vc_sp attribute/assignment
There is apparently a parsing bug in the following file when uncommenting [@vc_sp]
:
module Test
use int.Int
type d = {mutable contents: int; mutable useless: int}
let f c
ensures { c.contents = 1 }
= (*[@vc_sp]*)
c.contents <- 2
end