X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FmatitaGui.ml;h=ee268e60add67ea6c06217317c37ebcefc340e90;hb=0ec7ec7e380b64c57e60d50025edcfc926fc861f;hp=4dc6274a38742f5123b31c04dc924c00c0e2c608;hpb=bcacc1cd6f05b4713c2bf8fd0ffaea9c3f8644e5;p=helm.git

diff --git a/matita/matita/matitaGui.ml b/matita/matita/matitaGui.ml
index 4dc6274a3..ee268e60a 100644
--- a/matita/matita/matitaGui.ml
+++ b/matita/matita/matitaGui.ml
@@ -931,7 +931,7 @@ class gui () =
              save_moo script#status;
              true
         | `NO -> true
-        | `CANCEL -> false
+        | `DELETE_EVENT -> false
       else 
        (save_moo script#status; true)