diff options
| author | Matthieu Sozeau | 2015-02-12 22:59:41 +0100 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-02-12 22:59:41 +0100 |
| commit | 1e1a2f1803c57cc1697e294a7610b76a95661687 (patch) | |
| tree | cc683aa3b940c36ab3f5c692693bfeeb257855d4 /kernel/type_errors.mli | |
| parent | 8c5bfa0f00b80979473bba26c1b9a1410667e032 (diff) | |
COMPATIBILITY: add note about the change of behavior of Instance foo :=
{| |}. Add test-suite files for closed bugs.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions