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/minilib.mli | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'ide/minilib.mli')

diff --git a/ide/minilib.mli b/ide/minilib.mli
index 9c8cf0978..86f7c8a3f 100644
--- a/ide/minilib.mli
+++ b/ide/minilib.mli
@@ -26,6 +26,10 @@ val home : string
 val coqlib : string ref
 val coqtop_path : string ref
 
+(** safe version of Pervasives.prerr_endline
+    (avoid exception in win32 without console) *)
+val safe_prerr_endline : string -> unit
+
 val strip_path : string -> string
 val canonical_path_name : string -> string
 
-- 
cgit v1.2.3