From: Stephane Glondu <steph@glondu.net>
Date: Tue, 15 Jun 2010 16:02:37 -0700
Subject: [PATCH] Fix build with OCaml 3.12
Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=585458
---
gMathViewAux.mli | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)
diff --git a/gMathViewAux.mli b/gMathViewAux.mli
index 9e47e41..e3f2339 100644
--- a/gMathViewAux.mli
+++ b/gMathViewAux.mli
@@ -34,6 +34,7 @@ class single_selection_math_view_signals :
((Gdome.element option -> unit) -> unit) ->
object
inherit GMathView.math_view_signals
+ val obj : 'b Gtk.obj
method selection_changed : (Gdome.element_of_node option -> unit) -> unit
end
--