X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaGui.mli;h=848f52bf680c1e465daf48b7f05d06777c67dbca;hb=481992ea591bf53cba758a96e7d42e9cdce7e129;hp=f7845f2e5c080f2781b2e1e1f69f2d246d91b7e2;hpb=cc465115cdeea9819f43a5ad219b07c4f928c43a;p=helm.git

diff --git a/helm/matita/matitaGui.mli b/helm/matita/matitaGui.mli
index f7845f2e5..848f52bf6 100644
--- a/helm/matita/matitaGui.mli
+++ b/helm/matita/matitaGui.mli
@@ -53,7 +53,7 @@ class gui :
     method newUriDialog:          unit -> MatitaGeneratedGui.uriChoiceDialog
     method newInterpDialog:       unit -> MatitaGeneratedGui.interpChoiceDialog
     method newConfirmationDialog: unit -> MatitaGeneratedGui.confirmationDialog
-    method newTextDialog:         unit -> MatitaGeneratedGui.textDialog
+    method newEmptyDialog:        unit -> MatitaGeneratedGui.emptyDialog
 
   end