From 916829e62f7634c2ce9d991eb8ce30a7b1e919d3 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Fri, 6 Dec 2013 15:32:19 +0100
Subject: Fix CoqIDE on windows

---
 ide/ideutils.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ide/ideutils.mli')

diff --git a/ide/ideutils.mli b/ide/ideutils.mli
index bb9e65322..5fd97e3a5 100644
--- a/ide/ideutils.mli
+++ b/ide/ideutils.mli
@@ -6,7 +6,7 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-val warn_image : GMisc.image
+val warn_image : unit -> GMisc.image
 val warning : string -> unit
 
 val cb : GData.clipboard
-- 
cgit v1.2.3