X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaGuiTypes.mli;h=d25735d4aebf1abd36271ede520e6f1964efdd9f;hb=e880d6eab5e1700f4a625ddcd7d0fa8f0cce2dcc;hp=f2376406a07009a1f03aa17fb87c0dd4aa0708dd;hpb=c83721701dbbd44d3d547fdec6c4a5658322f424;p=helm.git

diff --git a/helm/software/matita/matitaGuiTypes.mli b/helm/software/matita/matitaGuiTypes.mli
index f2376406a..d25735d4a 100644
--- a/helm/software/matita/matitaGuiTypes.mli
+++ b/helm/software/matita/matitaGuiTypes.mli
@@ -52,7 +52,7 @@ object
 (*   method toolbar :      MatitaGeneratedGui.toolBarWin *)
 
   method console:       console
-  method sourceView:    GSourceView.source_view
+  method sourceView:    GSourceView2.source_view
 
     (** {2 Dialogs instantiation}
      * methods below create a new window on each invocation. You should