Dead code removed.

[helm.git] / helm / ocaml / acic_content / acic2content.ml

diff --git a/helm/ocaml/acic_content/acic2content.ml b/helm/ocaml/acic_content/acic2content.ml
index 8f3b13cfda82beef7f3ae2bcbc199965ab792b19..ed4eafb4efd2a39774f331cc1b3d6b78ab31da0d 100644 (file)
--- a/helm/ocaml/acic_content/acic2content.ml
+++ b/helm/ocaml/acic_content/acic2content.ml
@@ -576,7 +576,6 @@ and acic2content seed ?name ~ids_to_inner_sorts ~ids_to_inner_types t =
                K.ArgProof
                 {body with K.proof_name = name; K.proof_context=context} in
           List.map2 build_proof patterns name_and_arities in
-        let teid = get_id te in
         let context,term =
           (match 
              build_subproofs_and_args