From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 23 Sep 2005 13:21:00 +0000 (+0000)
Subject: Dead code removed again!!!
X-Git-Tag: LAST_BEFORE_NEW~35
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=77bd75a16b1eda9b60883c9d0892fa09551809b3;p=helm.git

Dead code removed again!!!
---

diff --git a/helm/ocaml/cic_proof_checking/cicUnivUtils.ml b/helm/ocaml/cic_proof_checking/cicUnivUtils.ml
index cf9e82496..1f3b698d3 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_uri u =
     if is_not_visited u then
       let _, _, l =