diff options
author | Alain Frisch <alain@frisch.fr> | 2013-04-16 08:59:09 +0000 |
---|---|---|
committer | Alain Frisch <alain@frisch.fr> | 2013-04-16 08:59:09 +0000 |
commit | ecb088015f66fc880c52e5c8b921e11330c5a1cd (patch) | |
tree | b3b153a193c9b939c5a2be752aab98f180773b42 /ocamldoc/odoc_print.ml | |
parent | da659396416acc512df6529085f8984ef4d7208b (diff) | |
download | ocaml-ecb088015f66fc880c52e5c8b921e11330c5a1cd.tar.gz |
Rename Pcty_fun to Pcty_arrow (and idem in Types, Typedtree, Outcometree) to be coherent with Ptyp_arrow.
git-svn-id: http://caml.inria.fr/svn/ocaml/branches/extension_points@13536 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_print.ml')
-rw-r--r-- | ocamldoc/odoc_print.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ocamldoc/odoc_print.ml b/ocamldoc/odoc_print.ml index a62832fdb9..d09bc93249 100644 --- a/ocamldoc/odoc_print.ml +++ b/ocamldoc/odoc_print.ml @@ -90,9 +90,9 @@ let simpl_class_type t = Types.cty_concr = Types.Concr.empty ; Types.cty_inher = [] } - | Types.Cty_fun (l, texp, ct) -> + | Types.Cty_arrow (l, texp, ct) -> let new_ct = iter ct in - Types.Cty_fun (l, texp, new_ct) + Types.Cty_arrow (l, texp, new_ct) in iter t |