From 05c1e8d802c326b28db14483390af2d83bd6d19a Mon Sep 17 00:00:00 2001
From: monate
Date: Wed, 14 May 2003 12:09:29 +0000
Subject: coqide: load/save file encoding support/

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

(limited to 'ide/utils')

diff --git a/ide/utils/configwin_ihm.ml b/ide/utils/configwin_ihm.ml
index d01b830030..835682b691 100644
--- a/ide/utils/configwin_ihm.ml
+++ b/ide/utils/configwin_ihm.ml
@@ -380,7 +380,7 @@ class combo_param_box param =
       None -> ()
     | Some help ->
 	let tooltips = GData.tooltips () in
-	ignore (hbox#connect#destroy ~callback: tooltips#destroy);
+	ignore (hbox#connect#destroy ~callback:tooltips#destroy);
 	tooltips#set_tip wev#coerce ~text: help ~privat: help 
   in
   let _ = wc#entry#set_editable param.combo_editable in
-- 
cgit v1.2.3