diff options
| author | Yann Régis-Gianas | 2014-11-05 20:51:16 +0100 |
|---|---|---|
| committer | Yann Régis-Gianas | 2014-11-05 20:51:16 +0100 |
| commit | 3d2b9f1329557dd54720718bf064010d9538ea03 (patch) | |
| tree | da0c8df97286e982d8d7e79624344388b1c85760 /kernel/nativelib.ml | |
| parent | c442153f1af0823a95c6b6c31243e43a0f336ee6 (diff) | |
lib/richPp: Fix a bug related to the compatibility with ocaml 3.12
- The previous version of this module was using a feature of
the Format module of ocaml 4.01.
- Add comments.
Diffstat (limited to 'kernel/nativelib.ml')
0 files changed, 0 insertions, 0 deletions