diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2000-11-07 13:18:20 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2000-11-07 13:18:20 +0000 |
| commit | b0e043eb2de05f2c546cb9c0051582777f1869fe (patch) | |
| tree | fea7c9787d5fb91aaee9c78ae280e69534af2c7f /toplevel/topdirs.ml | |
| parent | 9a9af71842bc76459331e82360b68763c025663e (diff) | |
Re-faire marcher la trace (PR#213)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'toplevel/topdirs.ml')
| -rw-r--r-- | toplevel/topdirs.ml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/toplevel/topdirs.ml b/toplevel/topdirs.ml index c3fa8d934..957150784 100644 --- a/toplevel/topdirs.ml +++ b/toplevel/topdirs.ml @@ -20,7 +20,6 @@ open Longident open Path open Types open Emitcode -open Printval open Trace open Toploop @@ -147,14 +146,14 @@ let dir_install_printer ppf lid = try let (ty_arg, path) = find_printer_type ppf lid in let v = (Obj.obj (eval_path path) : 'a -> unit) in - Printval.install_printer path ty_arg (fun repr -> v (Obj.obj repr)) + install_printer path ty_arg (fun repr -> v (Obj.obj repr)) with Exit -> () let dir_remove_printer ppf lid = try let (ty_arg, path) = find_printer_type ppf lid in begin try - Printval.remove_printer path + remove_printer path with Not_found -> fprintf ppf "No printer named %a.@." Printtyp.longident lid end |