diff options
| author |  Matthieu Sozeau <mattam@mattam.org> | 2013-11-15 13:20:28 +0100 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@mattam.org> | 2014-05-06 09:58:56 +0200 |
| commit | ea47d7fb0b8ed663ecda142fe74bcbcfec3bb554 (patch) | |
| tree | ca9b970021c96458b40ac93d0b2c92c2ff49d1d3 /toplevel/class.ml | |
| parent | 021d5dbac4ce3cd89e6ac87ec3ca0687d4fdfd10 (diff) | |
Improve universe/level comparison using hashes.
Diffstat (limited to 'toplevel/class.ml')
0 files changed, 0 insertions, 0 deletions