removed deadcode / fixed typos (thanks to ocaml 3.09)

[helm.git] / helm / ocaml / cic_proof_checking / cicEnvironment.ml

diff --git a/helm/ocaml/cic_proof_checking/cicEnvironment.ml b/helm/ocaml/cic_proof_checking/cicEnvironment.ml
index 2849bc38a7f09c33d2c4b3c6789aba69a73b8c66..8a9bbf667f6d86f27e1c605d426e9af09c824973 100644 (file)
--- a/helm/ocaml/cic_proof_checking/cicEnvironment.ml
+++ b/helm/ocaml/cic_proof_checking/cicEnvironment.ml
@@ -203,7 +203,6 @@ module Cache :
             C.MutCase (recons uri, i, restore_in_term outty, restore_in_term t,
              List.map restore_in_term pl)
          | C.Fix (i, fl) ->
-            let len = List.length fl in
             let liftedfl =
              List.map
               (fun (name, i, ty, bo) ->
@@ -212,7 +211,6 @@ module Cache :
             in
              C.Fix (i, liftedfl)
          | C.CoFix (i, fl) ->
-            let len = List.length fl in
             let liftedfl =
              List.map
               (fun (name, ty, bo) -> (name, restore_in_term ty, restore_in_term bo))
@@ -576,7 +574,7 @@ let set_type_checking_info ?(replace_ugraph_and_univlist=None) uri =
  * return the object,ugraph
  *)
 let add_trusted_uri_to_cache uri = 
-  let o,u,_ = find_or_add_to_unchecked uri in
+  let _ = find_or_add_to_unchecked uri in
   Cache.unchecked_to_frozen uri;
   set_type_checking_info uri;
   try