summaryrefslogtreecommitdiff
path: root/debugger/loadprinter.ml
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1999-11-08 17:06:33 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1999-11-08 17:06:33 +0000
commita048d42b10feaffe3e5ee8e891e15e8b59407e56 (patch)
tree54ee79580060b51bc44d39f513ce63d9b8f3c4c4 /debugger/loadprinter.ml
parentbad71c148081a820604b9901300a5b8e2b730a95 (diff)
downloadocaml-a048d42b10feaffe3e5ee8e891e15e8b59407e56.tar.gz
Ajout du module Formatmsg pour rediriger les messages du systeme vers stdout ou stderr suivant le contexte
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2486 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'debugger/loadprinter.ml')
-rw-r--r--debugger/loadprinter.ml4
1 files changed, 2 insertions, 2 deletions
diff --git a/debugger/loadprinter.ml b/debugger/loadprinter.ml
index aaf48a2594..f77591256e 100644
--- a/debugger/loadprinter.ml
+++ b/debugger/loadprinter.ml
@@ -55,7 +55,7 @@ let use_debugger_symtable fn arg =
(* Load a .cmo or .cma file *)
-open Format
+open Formatmsg
let rec loadfiles name =
try
@@ -127,7 +127,7 @@ let remove_printer lid =
(* Error report *)
-open Format
+open Formatmsg
let report_error error =
open_box 0;