From a048d42b10feaffe3e5ee8e891e15e8b59407e56 Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Mon, 8 Nov 1999 17:06:33 +0000 Subject: 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 --- debugger/loadprinter.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'debugger/loadprinter.ml') 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; -- cgit v1.2.1