snapshot

[helm.git] / helm / matita / matitaGui.mli

diff --git a/helm/matita/matitaGui.mli b/helm/matita/matitaGui.mli
index f7845f2e5c080f2781b2e1e1f69f2d246d91b7e2..848f52bf680c1e465daf48b7f05d06777c67dbca 100644 (file)
--- 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