From 28013761c65dd011c6b5fd3990fe28be4cd4b621 Mon Sep 17 00:00:00 2001
From: glondu
Date: Thu, 10 Jun 2010 05:09:29 +0000
Subject: Fix build with OCaml 3.12

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13107 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/undo_lablgtk_ge212.mli | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/ide/undo_lablgtk_ge212.mli b/ide/undo_lablgtk_ge212.mli
index d7c12de8e2..c0280702d3 100644
--- a/ide/undo_lablgtk_ge212.mli
+++ b/ide/undo_lablgtk_ge212.mli
@@ -8,9 +8,10 @@
 
 (* An undoable view class *)
 
-class undoable_view : [> Gtk.text_view] Gtk.obj ->
+class undoable_view : ([> Gtk.text_view] as 'a) Gtk.obj ->
 object
   inherit GText.view
+  val obj : 'a Gtk.obj
   method undo : bool
   method redo : bool
   method clear_undo : unit
-- 
cgit v1.2.3