X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2FmatitaGui.mli;h=90cb814a14607406fbe16c6d82fa50bdcfa0ad6d;hb=fdd8107cc53f5e862004aa5fcd48593ee5634234;hp=b3390d66a9eac279dc51300543727364c9487648;hpb=dcb9e3da241393db2a23fd7925cd9543a4034205;p=helm.git

diff --git a/helm/matita/matitaGui.mli b/helm/matita/matitaGui.mli
index b3390d66a..90cb814a1 100644
--- a/helm/matita/matitaGui.mli
+++ b/helm/matita/matitaGui.mli
@@ -41,7 +41,7 @@ class gui :
 
       (** {2 Access to GUI useful components} *)
 
-    method console:       MatitaConsole.console
+    method console:       MatitaTypes.console
 
       (** {2 Dialogs instantiation}
        * methods below create a new window on each invocation. You should