diff options
| author | Pierre Boutillier | 2014-03-12 18:20:49 +0100 |
|---|---|---|
| committer | Pierre Boutillier | 2014-03-17 09:56:55 +0100 |
| commit | 9aea915f9927e29cbd57bd934220821e24c36c12 (patch) | |
| tree | 5701fcb6097fb4a9a1724417a45d1c5e78975971 /kernel/type_errors.ml | |
| parent | 9406961382788fdb60e388c2362a4158b485bded (diff) | |
Fix test-suite 2255.v
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions