diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-07-17 15:07:59 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-07-17 15:07:59 +0200 |
| commit | 0315a5d93c2de996f5c91bd2af827d3984ec1ad8 (patch) | |
| tree | e449e76c73088a6cae457d1210f836581093807a /checker/term.ml | |
| parent | eba5d64fee0bf6235265f1f6cc884b4cbefe2704 (diff) | |
| parent | a2bc4d3be684ad24ea7888df4dd0cf35d9733c64 (diff) | |
Merge PR #781: Remove dead code [Universes.simplify_universe_context]
Diffstat (limited to 'checker/term.ml')
0 files changed, 0 insertions, 0 deletions