diff options
| author | Maxence Guesdon <maxence.guesdon@inria.fr> | 2002-04-22 09:41:11 +0000 |
|---|---|---|
| committer | Maxence Guesdon <maxence.guesdon@inria.fr> | 2002-04-22 09:41:11 +0000 |
| commit | 329717680cb18491c3ad4c68b926411e9dc8fba6 (patch) | |
| tree | 36ed798c741e9430afd673683e16cf3e3d63f8d1 /ocamldoc/odoc_name.ml | |
| parent | b99b1df832ca6f99c861a3509de7d4644eb85028 (diff) | |
| download | ocaml-329717680cb18491c3ad4c68b926411e9dc8fba6.tar.gz | |
utilistion de Ident.name pour faire la fonction from_ident
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4709 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_name.ml')
| -rw-r--r-- | ocamldoc/odoc_name.ml | 11 |
1 files changed, 2 insertions, 9 deletions
diff --git a/ocamldoc/odoc_name.ml b/ocamldoc/odoc_name.ml index 4ff0aa61a2..05af460438 100644 --- a/ocamldoc/odoc_name.ml +++ b/ocamldoc/odoc_name.ml @@ -119,15 +119,8 @@ let hide_given_modules l s = let qualified name = String.contains name '.' -let from_ident ident = - Ident.print (Format.str_formatter) ident; - let s = Format.flush_str_formatter () in - (* the ident is of the form name/id ; we get the name only *) - try - List.hd (Str.split (Str.regexp "/") s) - with - _ -> - "" +let from_ident ident = Ident.name ident + let from_path path = Path.name path |