X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2FmatitaGtkMisc.ml;h=553406635aac812e87ba39576f566bbe747f1e08;hb=5104e38ee747fd1052ce21f3f9f2ecc778d590ba;hp=f5b578ce68579afe08dc6b113b399f318023efb5;hpb=aa0d60227b785da3355b31519ba11cb4fbd2c925;p=helm.git

diff --git a/helm/matita/matitaGtkMisc.ml b/helm/matita/matitaGtkMisc.ml
index f5b578ce6..553406635 100644
--- a/helm/matita/matitaGtkMisc.ml
+++ b/helm/matita/matitaGtkMisc.ml
@@ -393,8 +393,6 @@ let ask_text ~(gui:#gui) ?(title = "") ?(message = "") ?(multiline = false)
   GtkThread.main ();
   (match !result with None -> raise MatitaTypes.Cancel | Some r -> r)
 
-type combo_status = Free of string | Locked of string
-
 let ask_record_choice ~(gui:#gui) ?(title= "") ?(message = "")
   ~fields ~records ()
 =
@@ -417,7 +415,6 @@ let ask_record_choice ~(gui:#gui) ?(title= "") ?(message = "")
   Array.iteri
     (fun i f -> model#easy_append f i toggles.(i))
     fields;
-  let status = Array.map (fun s -> Free s) fields in
   let record_no = ref None in
   let return _ =
     dialog#recordChoiceDialog#destroy ();