X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaGtkMisc.ml;h=f5b578ce68579afe08dc6b113b399f318023efb5;hb=ee8a9f2a9f75814be05fa9f7aafefb3e42692a2a;hp=c969f1bcd66621b004967349e5bd892639fe9332;hpb=7c123bfb1568f90f37cd667332fbf60d4423b983;p=helm.git

diff --git a/helm/matita/matitaGtkMisc.ml b/helm/matita/matitaGtkMisc.ml
index c969f1bcd..f5b578ce6 100644
--- a/helm/matita/matitaGtkMisc.ml
+++ b/helm/matita/matitaGtkMisc.ml
@@ -23,11 +23,11 @@
  * http://helm.cs.unibo.it/
  *)
 
+(* $Id$ *)
+
 exception PopupClosed
 open Printf
 
-open MatitaTypes
-
 let wrap_callback f = f
 
 let connect_button (button: #GButton.button) callback =
@@ -391,7 +391,7 @@ let ask_text ~(gui:#gui) ?(title = "") ?(message = "") ?(multiline = false)
   connect_button dialog#emptyDialogCancelButton (fun _ ->return None);
   dialog#emptyDialog#show ();
   GtkThread.main ();
-  (match !result with None -> raise Cancel | Some r -> r)
+  (match !result with None -> raise MatitaTypes.Cancel | Some r -> r)
 
 type combo_status = Free of string | Locked of string