From: Stephane Glondu <steph@glondu.net>
Date: Wed, 9 Jun 2010 23:55:56 +0200
Subject: [PATCH] Fix build with OCaml 3.12

Applied-Upstream: https://gforge.inria.fr/scm/viewvc.php?view=rev&root=coq&revision=13105
Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=585452
Signed-off-by: Stephane Glondu <steph@glondu.net>
---
 ide/undo_lablgtk_ge212.mli |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diff --git a/ide/undo_lablgtk_ge212.mli b/ide/undo_lablgtk_ge212.mli
index 916a06e..4488b5e 100644
--- a/ide/undo_lablgtk_ge212.mli
+++ b/ide/undo_lablgtk_ge212.mli
@@ -10,9 +10,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
--