- fix building with lablgtk2 2.6 auto/ac/coq-8_0pl2-2
authorJan Rękorajski <baggins@pld-linux.org>
Sat, 10 Dec 2005 01:46:59 +0000 (01:46 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
Changed files:
    coq-lablgtk26.patch -> 1.1

coq-lablgtk26.patch [new file with mode: 0644]

diff --git a/coq-lablgtk26.patch b/coq-lablgtk26.patch
new file mode 100644 (file)
index 0000000..2a3e7d9
--- /dev/null
@@ -0,0 +1,22 @@
+--- coq-8.0pl2/ide/undo.mli~   2005-12-10 02:08:33.000000000 +0100
++++ coq-8.0pl2/ide/undo.mli    2005-12-10 02:27:05.083226000 +0100
+@@ -10,7 +10,7 @@
+ (* An undoable view class *)
+-class undoable_view : Gtk.text_view Gtk.obj ->
++class undoable_view : [> Gtk.text_view] Gtk.obj ->
+ object
+   inherit GText.view
+   method undo : bool
+--- coq-8.0pl2/ide/undo.ml~    2005-12-10 02:25:40.000000000 +0100
++++ coq-8.0pl2/ide/undo.ml     2005-12-10 02:26:07.331616750 +0100
+@@ -18,7 +18,7 @@
+   | Insert (s,i,l) -> Delete (s,i,l)
+   | Delete (s,i,l) -> Insert (s,i,l)
+-class undoable_view (tv:Gtk.text_view Gtk.obj) =
++class undoable_view (tv:[> Gtk.text_view] Gtk.obj) =
+   let undo_lock = ref true in 
+ object(self)
+   inherit GText.view tv as super
This page took 0.113799 seconds and 4 git commands to generate.