diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2015-10-09 13:19:20 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2015-10-09 17:40:56 +0200 |
commit | 7c82718f18afa3b317873f756a8801774ef64061 (patch) | |
tree | 3b5b7be2a9ba5985775e247c15b5be70e872f0a9 /kernel/uint31.mli | |
parent | 5e1296a5cae4ae0ab84ddbe7b0ec71959861af97 (diff) |
Minor typo in universe polymorphism doc.
Diffstat (limited to 'kernel/uint31.mli')
0 files changed, 0 insertions, 0 deletions