]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtksourceview/gtk_sourceview.ml
ocaml 3.09 transition
[helm.git] / helm / DEVEL / lablgtksourceview / gtk_sourceview.ml
index 5af568def7024c1cfc40fcaafe454115204399fe..573195e191758bcc59d88aafb7a87502cabeb447 100644 (file)
@@ -20,7 +20,7 @@
  *)
 
 type source_view = [Gtk.text_view|`sourceview]
-type source_buffer = [Gtk.text_buffer|`sourcebuffer]
+type source_buffer = [`textbuffer|`sourcebuffer]
 type source_language = [`sourcelanguage]
 type source_languages_manager = [`sourcelanguagesmanager]