diff options
| author | Chimrod <> | 2023-10-07 10:35:10 +0200 |
|---|---|---|
| committer | Chimrod <> | 2023-10-15 19:04:36 +0200 |
| commit | 7f2b8c0b9fbe6c9b3b4291c1749fc4d53866b85b (patch) | |
| tree | dd0204f94aa978dd8884a6c1e7bf3df6eda7e5e5 /lib/syntax/tree.ml | |
| parent | 5a18a66763bcc19de117cb83293d7bd25a0ea10c (diff) | |
Made the report result explicit in parsing
Diffstat (limited to 'lib/syntax/tree.ml')
0 files changed, 0 insertions, 0 deletions