diff options
| author | Pierre-Marie Pédrot | 2014-07-21 14:02:19 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-07-21 14:02:19 +0200 |
| commit | 42aa1e96b95f1078a36184c1d2de224fc35dfe2c (patch) | |
| tree | b0221e2679baf2cdb5c1e6139d861f081315c1de /kernel/type_errors.ml | |
| parent | fd62149f9bf40b3f309ebbfd7497ef7c185436d5 (diff) | |
Adding a test-suite for bug #3422.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions