diff options
| author | Arnaud Spiwack | 2014-07-23 16:11:08 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-07-23 17:52:46 +0200 |
| commit | 1ada99f2c367c2b2bad39377c38c4dc6e4b5a04a (patch) | |
| tree | 60be53fe66aed34f66e9b418b51a19767b946165 /kernel/type_errors.ml | |
| parent | 7e577f93aca95d10584014e1d88dfbf314b74f9f (diff) | |
Derive plugin: small refactoring.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions