X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaGui.ml;fp=helm%2Fmatita%2FmatitaGui.ml;h=3ea6b4f87f8f33d2d1953d305473a8b1254ae681;hb=7c123bfb1568f90f37cd667332fbf60d4423b983;hp=853168b29cb49939d45fbc513b71889ab94d60fc;hpb=1dd8ba456b2c38a912de788c3fc6a815e472d475;p=helm.git

diff --git a/helm/matita/matitaGui.ml b/helm/matita/matitaGui.ml
index 853168b29..3ea6b4f87 100644
--- a/helm/matita/matitaGui.ml
+++ b/helm/matita/matitaGui.ml
@@ -439,7 +439,6 @@ class gui () =
         (fun () -> develList#toplevel#misc#hide());
       ignore(develList#toplevel#event#connect#delete 
         (fun _ -> develList#toplevel#misc#hide();true));
-      let selected_devel = ref None in
       connect_menu_item main#developmentsMenuItem
         (fun () -> refresh_devels_win ();develList#toplevel#misc#show ());
       
@@ -651,7 +650,6 @@ class gui () =
       in
       let loadScript () =
         let script = s () in 
-        let status = script#status in
         try 
           match self#chooseFile () with
           | Some f -> 
@@ -1079,7 +1077,6 @@ let interactive_uri_choice
       (selection_mode :> Gtk.Tags.selection_mode);
     let model = new stringListModel dialog#uriChoiceTreeView in
     let choices = ref None in
-    let nonvars = ref false in
     (match copy_cb with
     | None -> ()
     | Some cb ->
@@ -1175,7 +1172,6 @@ let interactive_interp_choice () choices =
   assert (choices <> []);
   let dialog = gui#newRecordDialog () in
   let model = new interpModel dialog#recordChoiceTreeView choices in
-  let interp_len = List.length (List.hd choices) in
   dialog#recordChoiceDialog#set_title "Interpretation choice";
   dialog#recordChoiceDialogLabel#set_label "Choose an interpretation:";
   let interp_no = ref None in