From 9ba339611c6b13bb116c55a54763dd13f1e47983 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 10 Jan 2006 11:52:29 +0000
Subject: [PATCH] Dead code removed.

---
 helm/matita/matitaGtkMisc.ml  | 3 ---
 helm/matita/matitaMathView.ml | 1 -
 helm/matita/matitaScript.ml   | 6 +++---
 3 files changed, 3 insertions(+), 7 deletions(-)

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 ();
diff --git a/helm/matita/matitaMathView.ml b/helm/matita/matitaMathView.ml
index ffbb8d7c0..3c4997aec 100644
--- a/helm/matita/matitaMathView.ml
+++ b/helm/matita/matitaMathView.ml
@@ -156,7 +156,6 @@ type selected_term =
 
 class clickableMathView obj =
 let text_width = 80 in
-let dummy_loc = HExtlib.dummy_floc in
 object (self)
   inherit GMathViewAux.multi_selection_math_view obj
 
diff --git a/helm/matita/matitaScript.ml b/helm/matita/matitaScript.ml
index b0be9632d..4c53f113b 100644
--- a/helm/matita/matitaScript.ml
+++ b/helm/matita/matitaScript.ml
@@ -80,8 +80,6 @@ let eval_with_engine guistuff lexicon_status grafite_status user_goal
 =
   let module TAPp = GrafiteAstPp in
   let parsed_text_length = String.length parsed_text in
-  let loc, ex = 
-    match st with TA.Executable (loc,ex) -> loc, ex | _ -> assert false in
   let initial_space,parsed_text =
    try
     let pieces = Pcre.extract ~rex:heading_nl_RE' parsed_text in
@@ -91,7 +89,9 @@ let eval_with_engine guistuff lexicon_status grafite_status user_goal
   let inital_space,new_grafite_status,new_lexicon_status,new_status_and_text_list' =
    (* the code commented out adds the "select" command if needed *)
    initial_space,grafite_status,lexicon_status,[] in
-(*    match grafite_status.proof_status with
+(* let loc, ex = 
+    match st with TA.Executable (loc,ex) -> loc, ex | _ -> assert false in
+    match grafite_status.proof_status with
      | Incomplete_proof { stack = stack }
       when not (List.mem user_goal (Continuationals.head_goals stack)) ->
         let grafite_status =
-- 
2.39.2