X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Flablgtksourceview%2FgtkSourceView.ml;h=87ae6b02505fb74f86859353e04c7bb89175223a;hb=c270254a72b6079e4468aa52d9dcad8528058506;hp=ff66d0278a5e3b03c3985862d6bf2cdec345c5af;hpb=4f576c9474396e214db9fcf8bb974c603c16a825;p=helm.git

diff --git a/helm/DEVEL/lablgtksourceview/gtkSourceView.ml b/helm/DEVEL/lablgtksourceview/gtkSourceView.ml
index ff66d0278..87ae6b025 100644
--- a/helm/DEVEL/lablgtksourceview/gtkSourceView.ml
+++ b/helm/DEVEL/lablgtksourceview/gtkSourceView.ml
@@ -34,7 +34,13 @@ open GtkBase
 external _gtksourceview_init : unit -> unit = "ml_gtk_sourceview_init"
 let () = _gtksourceview_init ()
 
-module SourceView = struct
+module SourceView =
+struct
   include SourceView
 end
 
+module SourceBuffer =
+struct
+  include SourceBuffer
+end
+