diff options
| author | Matthieu Sozeau | 2014-04-07 12:59:16 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-05-06 09:58:59 +0200 |
| commit | 4bc936b22f9ed1e90286f39c8d51c9f05c37b300 (patch) | |
| tree | 30bcfa44115d7fec8df4824aaba336a384c8e58f /kernel/type_errors.ml | |
| parent | 105db906ae45e792d1caeeb2e3fb7f69944b2caa (diff) | |
Fix program Fixpoint not taking care of universes.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions