From d122799af45e81608a40063568e9f4b6d6deec33 Mon Sep 17 00:00:00 2001
From: pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 1 Sep 2011 09:51:26 +0000
Subject: safe_prerr_endline in Minilib

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

(limited to 'ide/coqide_main.ml4')

diff --git a/ide/coqide_main.ml4 b/ide/coqide_main.ml4
index a9aed9599..f09ef2492 100644
--- a/ide/coqide_main.ml4
+++ b/ide/coqide_main.ml4
@@ -98,7 +98,7 @@ let () =
       with
 	| Sys.Break -> Ideutils.prerr_endline "Interrupted."
 	| e ->
-	    Ideutils.safe_prerr_endline
+	    Minilib.safe_prerr_endline
 	      ("CoqIde unexpected error:" ^ (Printexc.to_string e));
 	    Coqide.crash_save 127
     done
-- 
cgit v1.2.3