From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 22 Sep 2005 08:13:49 +0000 (+0000)
Subject: Dead code removed
X-Git-Tag: LAST_BEFORE_NEW~58
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=ffefcfede36fec9a9dfdb0911557dbb67849c1ea;p=helm.git

Dead code removed
---

diff --git a/helm/ocaml/cic_proof_checking/cicUnivUtils.ml b/helm/ocaml/cic_proof_checking/cicUnivUtils.ml
index 4e8387cf5..d36c1ee35 100644
--- 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,_) ->