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