diff options
| author | Enrico Tassi | 2014-10-22 15:59:56 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2014-10-22 16:00:01 +0200 |
| commit | 39d9b466b1d270bf0003bffa12193423aaa31696 (patch) | |
| tree | 3c3293404124f7163e18cc1402cf8b7563323755 /kernel/type_errors.mli | |
| parent | ad28bacca8cf9f779db099f7c42938b96ae31f42 (diff) | |
Fix the way lexeme start is computed (Close 3737)
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions