diff options
author | 2013-11-15 13:20:28 +0100 | |
---|---|---|
committer | 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