X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaGtkMisc.mli;h=cf4ce93a9d17e836119410bb93dc99466c0369b0;hb=a823c605d3a541c8d7df2bcc3c21bf459c9d25c4;hp=05a724136617abd9bb94986a5475682bb5eab688;hpb=45f2accd093c8d10eb692266f4c3c0c59cb22d8b;p=helm.git

diff --git a/matita/matita/matitaGtkMisc.mli b/matita/matita/matitaGtkMisc.mli
index 05a724136..cf4ce93a9 100644
--- 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