Incorrect parsing of record (OCaml)

[giraud]

plugin version: 0.119

Description

In ppconstr.ml (coq), record is ended too early:

let body is incorrect in AST.

problem is with tuple, minimal example:

let fn {a;b=(x,y)} = a

[giraud]

Fixed in 0.120