summaryrefslogtreecommitdiff
path: root/ocamldoc/odoc_info.ml
diff options
context:
space:
mode:
authorMaxence Guesdon <maxence.guesdon@inria.fr>2003-04-04 17:43:54 +0000
committerMaxence Guesdon <maxence.guesdon@inria.fr>2003-04-04 17:43:54 +0000
commit3b52046b6934e9b05568ba7beabc38c6a082bcc8 (patch)
tree622b5b96a65beea6c8056d75ece1edc2785fa41a /ocamldoc/odoc_info.ml
parent5c965b417cb6f11ba4e569dfee6bb13718949e82 (diff)
downloadocaml-3b52046b6934e9b05568ba7beabc38c6a082bcc8.tar.gz
Utilisation de Printtyp.reset au lieu de Printtyp.reset_names dans string_of_type_expr
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@5497 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_info.ml')
-rw-r--r--ocamldoc/odoc_info.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/ocamldoc/odoc_info.ml b/ocamldoc/odoc_info.ml
index 84b365912e..d6b7fdbe7b 100644
--- a/ocamldoc/odoc_info.ml
+++ b/ocamldoc/odoc_info.ml
@@ -108,7 +108,7 @@ let dump_modules = Odoc_analyse.dump_modules
let load_modules = Odoc_analyse.load_modules
-let reset_type_names = Printtyp.reset_names
+let reset_type_names = Printtyp.reset
let string_of_type_expr t = Odoc_misc.string_of_type_expr t