diff options
| author |  Matthieu Sozeau <mattam@mattam.org> | 2014-04-09 15:31:39 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@mattam.org> | 2014-05-06 09:59:00 +0200 |
| commit | 99c8b69f5ef0f92b26ec23be06743312846f5af3 (patch) | |
| tree | 75771d1bf2b061a236ca1dca2403f29c5f1cb78e /kernel/constr.mli | |
| parent | 266aea59645ede8fc12ff60ce077504e1f29624c (diff) | |
Fix derive plugin to properly treat universes
Diffstat (limited to 'kernel/constr.mli')
0 files changed, 0 insertions, 0 deletions