diff options
| author | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2000-06-12 14:22:37 +0000 |
|---|---|---|
| committer | Jacques Garrigue <garrigue at math.nagoya-u.ac.jp> | 2000-06-12 14:22:37 +0000 |
| commit | 5a5f0fe9899ad7d2e1d7587bec501f317b1b0a30 (patch) | |
| tree | 8833b1dc09660137a6c4ba5624ea61dea1bfe378 /toplevel | |
| parent | bbb09e97c2daaada053f969158a68ffd9556505b (diff) | |
| download | ocaml-5a5f0fe9899ad7d2e1d7587bec501f317b1b0a30.tar.gz | |
garde les memes noms, mais espaces differents
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3200 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/toploop.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/toploop.ml b/toplevel/toploop.ml index 5f7daf2886..5190d229f1 100644 --- a/toplevel/toploop.ml +++ b/toplevel/toploop.ml @@ -91,7 +91,7 @@ let pr_item env ppf = function | _ -> fprintf ppf "@[<2>%a =@ %a@]" (Printtyp.value_description id) decl - (print_value env (getvalue (Ident.unique_name id))) + (print_value env (getvalue (Translmod.toplevel_name id))) decl.val_type end; rem |