diff options
| author | Chimrod <> | 2023-09-23 16:23:54 +0200 |
|---|---|---|
| committer | Chimrod <> | 2023-09-23 16:23:54 +0200 |
| commit | e21c752ccd0d3d73921beddb671aa48429c2dd90 (patch) | |
| tree | 0750ea3f269efc57cfbaa48093334483626c9707 /syntax/t.ml | |
| parent | 557d60d5df5258a29ce964fac1f5ffdc625dcb2a (diff) | |
Correction in the parser preseance
Diffstat (limited to 'syntax/t.ml')
| -rw-r--r-- | syntax/t.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/syntax/t.ml b/syntax/t.ml index 12be4b4..0014d47 100644 --- a/syntax/t.ml +++ b/syntax/t.ml @@ -46,6 +46,7 @@ type function_ = | Lcase | Lcase' | Len + | Loc | Max | Max' | Mid |