X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaGtkMisc.mli;h=7d4e289551cce5435cea4d1e7f6bcf8d9fedbc38;hb=c1723506cf3b06f6d2893a7654b99f599239ad45;hp=8a9f8d6fbbd763129fc0e823e063fb8ca2b338d6;hpb=030d34e0dc025b94d7f0459eff0a84e2ac108b73;p=helm.git

diff --git a/helm/matita/matitaGtkMisc.mli b/helm/matita/matitaGtkMisc.mli
index 8a9f8d6fb..7d4e28955 100644
--- a/helm/matita/matitaGtkMisc.mli
+++ b/helm/matita/matitaGtkMisc.mli
@@ -112,7 +112,7 @@ val ask_confirmation:
   title:string -> 
   message:string -> 
   ?parent:#GWindow.window_skel ->
-    unit -> bool
+    unit -> [`YES | `NO | `CANCEL]
 
 val report_error:
   title:string ->