X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaGtkMisc.mli;h=04a531216780997863f7bad05f0d26dc3dab826c;hb=0ec7ec7e380b64c57e60d50025edcfc926fc861f;hp=627909cd456e4e1b5969a8171e60d262469b0fc5;hpb=bcacc1cd6f05b4713c2bf8fd0ffaea9c3f8644e5;p=helm.git

diff --git a/matita/matita/matitaGtkMisc.mli b/matita/matita/matitaGtkMisc.mli
index 627909cd4..04a531216 100644
--- a/matita/matita/matitaGtkMisc.mli
+++ b/matita/matita/matitaGtkMisc.mli
@@ -122,8 +122,7 @@ class type gui =
 val ask_confirmation:
   title:string -> message:string -> 
   ?parent:#GWindow.window_skel ->
-  unit ->
-    [`YES | `NO | `CANCEL]
+  unit -> [`YES | `NO | `DELETE_EVENT ]
 
 val report_error:
   title:string -> message:string ->