diff options
| author | Matthieu Sozeau | 2014-06-24 17:17:46 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-06-24 18:53:52 +0200 |
| commit | 9f1f8e29baa6d8f8d458740737d0fbd02de31c6c (patch) | |
| tree | 87a7430f91e1f8add978f5529dccc1cfc8ceba77 /kernel | |
| parent | 03cab057c3ccc51464ed69531441d3c09b2919a7 (diff) | |
Force the final universe context of a proof only in poly || now case.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions