diff options
| author | Chimrod <> | 2024-06-20 20:25:19 +0200 |
|---|---|---|
| committer | Chimrod <> | 2024-06-20 20:25:19 +0200 |
| commit | 976f80ed226e53625cd807539b9336f52f6eb091 (patch) | |
| tree | dc0d199396c4f5571dffd83e693de2979046d4db /lib/syntax/check.mli | |
| parent | 70c94d9465496340b34a85d0d6c7fc1fa5fdf949 (diff) | |
Removed the need for () after rnd
Diffstat (limited to 'lib/syntax/check.mli')
0 files changed, 0 insertions, 0 deletions