From c9f0c0f4725533ee2294d416be82ca45dda2cabb Mon Sep 17 00:00:00 2001
From: ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Wed, 23 May 2012 15:21:17 +0000
Subject: Cleaned prerr_endline use.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15354 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/coqide_main.ml4 | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'ide/coqide_main.ml4')

diff --git a/ide/coqide_main.ml4 b/ide/coqide_main.ml4
index 2dbb3f499..70c50e7ed 100644
--- a/ide/coqide_main.ml4
+++ b/ide/coqide_main.ml4
@@ -97,9 +97,9 @@ let () =
       try
 	GtkThread.main ()
       with
-	| Sys.Break -> Minilib.prerr_endline "Interrupted."
+	| Sys.Break -> Minilib.log "Interrupted."
 	| e ->
-	    Minilib.safe_prerr_endline
+	    Minilib.log
 	      ("CoqIde unexpected error:" ^ (Printexc.to_string e));
 	    Coqide.crash_save 127
     done
-- 
cgit v1.2.3