Hi, Andreas Jochens wrote: > Package: coq > Version: 8.0pl2-2 > Severity: serious > > When building 'coq' on unstable, I get the following error: > > method set_pixels_inside_wrap : int -> unit > method set_right_margin : int -> unit > method set_wrap_mode : Gtk.Tags.wrap_mode -> unit > method starts_display_line : GText.iter -> bool > method undo : bool > method visible_rect : Gdk.Rectangle.t > method window_to_buffer_coords : > tag:Gtk.Tags.text_window_type -> x:int -> y:int -> int * int > method wrap_mode : Gtk.Tags.wrap_mode > end > The instance variable obj has type > ([> Gtk.text_view ] as 'a) Gtk.obj = 'a Gobject.obj > but is expected to have type > Gtk.text_view Gtk.obj = Gtk.text_view Gobject.obj > Type 'a = [> `container | `gtk | `textview | `widget ] > is not compatible with type > Gtk.text_view = [ `container | `gtk | `textview | `widget ] > make[1]: *** [ide/undo.cmo] Error 2 > make[1]: Leaving directory `/coq-8.0pl2' > make: *** [build-stamp] Error 2
I'll handle this when I come back home (in two days). Thanks, Samuel. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]