X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtksourceview%2Fgtk_sourceview.ml;h=573195e191758bcc59d88aafb7a87502cabeb447;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=5af568def7024c1cfc40fcaafe454115204399fe;hpb=2d0ac77ede559409856f1b2f2fa85a27194b0ecf;p=helm.git

diff --git a/helm/DEVEL/lablgtksourceview/gtk_sourceview.ml b/helm/DEVEL/lablgtksourceview/gtk_sourceview.ml
index 5af568def..573195e19 100644
--- a/helm/DEVEL/lablgtksourceview/gtk_sourceview.ml
+++ b/helm/DEVEL/lablgtksourceview/gtk_sourceview.ml
@@ -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]