diff options
| author | Matthieu Sozeau | 2014-08-18 19:14:09 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-08-18 19:15:28 +0200 |
| commit | a398e90fe0828d62a2a2a9ecc87bd3c8d29daf8c (patch) | |
| tree | 2d0b7e08dcc575ae1baab4560d16f8a431a59120 /pretyping/typeclasses_errors.ml | |
| parent | efa1c32a4d17870794dbc6f0301c3c0d46637a55 (diff) | |
Fix pretty-printing of the graph in Print Sorted Universes. Type.0 was larger than Type.1 etc...
Diffstat (limited to 'pretyping/typeclasses_errors.ml')
0 files changed, 0 insertions, 0 deletions