From f41d91f465c76db1658a0b297692ec1eca78d059 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Vouillon?=
 <Jerome.Vouillon@pps.jussieu.fr>
Date: Sun, 23 Mar 1997 15:22:30 +0000
Subject: Remis le print_string..., et affichage de "done" pas seulement pour
 debugger (!).

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1445 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 debugger/program_management.ml | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

(limited to 'debugger')

diff --git a/debugger/program_management.ml b/debugger/program_management.ml
index 767ba0b54b..59fec7c3a2 100644
--- a/debugger/program_management.ml
+++ b/debugger/program_management.ml
@@ -132,12 +132,12 @@ let initialize_loading () =
 (* Ensure the program is already loaded. *)
 let ensure_loaded () =
   if not !loaded then begin
-    print_endline "Loading program...";
+    print_string "Loading program... ";
     flush Pervasives.stdout;
     if !program_name = "" then begin
       prerr_endline "No program specified.";
       raise Toplevel
-      end;
+    end;
     try
       initialize_loading();
       !launching_func ();
@@ -145,10 +145,9 @@ let ensure_loaded () =
         prerr_endline "Waiting for connection...";
       main_loop ();
       loaded := true;
-      if !debug_loading then
-        prerr_endline "done."
+      prerr_endline "done."
     with
       x ->
       	kill_program();
       	raise x
-    end
+  end
-- 
cgit v1.2.1