On-going porting to lablgtk3

[helm.git] / matita / matita / matitaGtkMisc.mli

diff --git a/matita/matita/matitaGtkMisc.mli b/matita/matita/matitaGtkMisc.mli
index 05a724136617abd9bb94986a5475682bb5eab688..cf4ce93a9d17e836119410bb93dc99466c0369b0 100644 (file)
--- a/matita/matita/matitaGtkMisc.mli
+++ b/matita/matita/matitaGtkMisc.mli
@@ -151,4 +151,4 @@ val utf8_string_length: string -> int
 
 val escape_pango_markup: string -> string
 
-val matita_lang: GSourceView2.source_language
+val matita_lang: GSourceView3.source_language