diff options
| author | Jon French | 2019-05-13 15:49:47 +0100 |
|---|---|---|
| committer | Jon French | 2019-05-13 16:03:50 +0100 |
| commit | fe595b26986e0e2c641c1486250600edf05653f4 (patch) | |
| tree | 256ad556af8beb117da74da340115eef417e7b6b /src/error_format.ml | |
| parent | 31d01d0997f94e57f251087ac4e0d084f538fffb (diff) | |
fix typo in excl_res extern
Diffstat (limited to 'src/error_format.ml')
0 files changed, 0 insertions, 0 deletions