diff options
| author | Guillaume Melquiond | 2015-04-20 16:20:40 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2015-04-20 16:20:40 +0200 |
| commit | a33f7ad548ed312a2665c87baca9fb7b233e8cbf (patch) | |
| tree | 9e163b6d982ba7aeda6fed85a4b69553f1377ffe /lib/errors.ml | |
| parent | 94afd8996251c30d2188a75934487009538e1303 (diff) | |
Remove spurious ".v" from warning message.
Diffstat (limited to 'lib/errors.ml')
0 files changed, 0 insertions, 0 deletions