blob: dbfdaaef0876f5f412cfbd6686df2912e5cef67e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
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
--
|