diff options
author | Florian Angeletti <octa@polychoron.fr> | 2018-06-26 22:03:45 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-26 22:03:45 +0200 |
commit | 349db3d869c8659b10f019af92f8dc497012d7ec (patch) | |
tree | 121d121ae17fd580892b959d32fab4940d6c89b0 /ocamldoc/odoc_print.ml | |
parent | c8343888fa03d9bb108f2f83c33d15dec25f29e6 (diff) | |
download | ocaml-349db3d869c8659b10f019af92f8dc497012d7ec.tar.gz |
PR#6416 et al.: injective mapping between identifiers and printed names (#1120)
Diffstat (limited to 'ocamldoc/odoc_print.ml')
-rw-r--r-- | ocamldoc/odoc_print.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ocamldoc/odoc_print.ml b/ocamldoc/odoc_print.ml index 0ce40dcc99..7ce95303d6 100644 --- a/ocamldoc/odoc_print.ml +++ b/ocamldoc/odoc_print.ml @@ -14,6 +14,7 @@ (**************************************************************************) open Format +let () = Printtyp.Naming_context.enable false let new_fmt () = let buf = Buffer.create 512 in |