From ffefcfede36fec9a9dfdb0911557dbb67849c1ea Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 22 Sep 2005 08:13:49 +0000 Subject: [PATCH] Dead code removed --- helm/ocaml/cic_proof_checking/cicUnivUtils.ml | 1 - 1 file changed, 1 deletion(-) 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,_) -> -- 2.39.2