update in groud_2 and models

[helm.git] / helm / software / matita / matitaGuiTypes.mli

diff --git a/helm/software/matita/matitaGuiTypes.mli b/helm/software/matita/matitaGuiTypes.mli
index f2376406a07009a1f03aa17fb87c0dd4aa0708dd..d25735d4aebf1abd36271ede520e6f1964efdd9f 100644 (file)
--- 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