diff options
| author | Chimrod <> | 2023-10-17 19:49:48 +0200 |
|---|---|---|
| committer | Chimrod <> | 2023-10-18 11:19:35 +0200 |
| commit | 736456d9952c1d58008f4ca5755913dfff7a32b8 (patch) | |
| tree | 11d5d06db99d0e0eb1b092036586cf88eeb09997 /lib/syntax/dead_end.ml | |
| parent | ee2cddf734b66fa39a8ad7aa3662f22bbc62cf47 (diff) | |
New message for error
Diffstat (limited to 'lib/syntax/dead_end.ml')
0 files changed, 0 insertions, 0 deletions