Commit 1540424
committed
More recent version of Menhir without warnings
Previous version generated a lot of warnings such as:
> Warning 9 [missing-record-field-pattern]: the following labels are not
> bound in this record pattern.
which break the compilation when used with a recent version of Dune.1 parent 1c8bdb5 commit 1540424
1 file changed
+1
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
23 | 23 | | |
24 | 24 | | |
25 | 25 | | |
26 | | - | |
| 26 | + | |
27 | 27 | | |
28 | 28 | | |
29 | 29 | | |
| |||
0 commit comments