X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaScript.mli;h=ca4b2f86dcdb4dafdb27f3175ffde5217153e980;hb=8db3579bec4d9a97af526f95a179587a2fbfe3e3;hp=9958170d9c400eb663309947ac2df5f95a8b6fd9;hpb=79ba29ddfc90c0b9bc26e1ddde46cb94cb800d51;p=helm.git

diff --git a/matita/matita/matitaScript.mli b/matita/matita/matitaScript.mli
index 9958170d9..ca4b2f86d 100644
--- a/matita/matita/matitaScript.mli
+++ b/matita/matita/matitaScript.mli
@@ -91,7 +91,7 @@ object
   (** misc *)
   method clean_dirty_lock: unit
   method set_star: bool -> unit
-  method source_view: GSourceView2.source_view
+  method source_view: GSourceView3.source_view
   method has_parent: GObj.widget -> bool
   
   (* debug *)