Incorrect parsing of 'IN' in pattern matching (OCaml)

Question

Closed this issue 8 months ago · 1 comments

plugin version: 0.119

In proof_diffs.ml, function pattern match body is not correct:

Answer 1 · 2024-02-02T08:06:44.000Z

Fixed in 0.121