Dead code removed

diff --git a/helm/ocaml/cic_proof_checking/cicUnivUtils.ml b/helm/ocaml/cic_proof_checking/cicUnivUtils.ml
index 4e8387cf587a90489e7828c130dd61d42404e989..d36c1ee350219d6974f88b32d0655565534704ea 100644 (file)
--- a/helm/ocaml/cic_proof_checking/cicUnivUtils.ml
+++ b/helm/ocaml/cic_proof_checking/cicUnivUtils.ml
@@ -99,7 +99,6 @@ let universes_of_obj uri t =
         aux ty; aux te; (List.iter (fun t -> aux t) patterns)
     | C.Fix (no, funs) -> List.iter (fun (_,_,b,c) -> aux b; aux c) funs
     | C.CoFix (no,funs) -> List.iter (fun (_,b,c) -> aux b; aux c) funs
-    | _ -> ()
   and aux_obj = function
     | C.Constant (_,Some te,ty,v,_)
     | C.Variable (_,Some te,ty,v,_) ->