X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaGuiTypes.mli;h=67d431040df41af64635e4f4e501c9e57d9cd114;hb=34d2f477be65e3fd26bfb6d43a3dd0807274549b;hp=6457dc0c8d5701cac8d06a58582fe96653f85814;hpb=48b1c073868dcddf01140775cb0e5ac524fdbf14;p=helm.git

diff --git a/helm/software/matita/matitaGuiTypes.mli b/helm/software/matita/matitaGuiTypes.mli
index 6457dc0c8..67d431040 100644
--- a/helm/software/matita/matitaGuiTypes.mli
+++ b/helm/software/matita/matitaGuiTypes.mli
@@ -62,7 +62,6 @@ object
 
   method newBrowserWin:         unit -> browserWin
   method newUriDialog:          unit -> MatitaGeneratedGui.uriChoiceDialog
-  method newRecordDialog:       unit -> MatitaGeneratedGui.recordChoiceDialog
   method newConfirmationDialog: unit -> MatitaGeneratedGui.confirmationDialog
   method newEmptyDialog:        unit -> MatitaGeneratedGui.emptyDialog