From d9f8f769bce57b07c21670a35f36ec6e1dad5cc7 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 10 Jan 2006 11:58:05 +0000 Subject: [PATCH] Dead code removed. --- helm/ocaml/cic_proof_checking/cicReduction.ml | 1 - 1 file changed, 1 deletion(-) diff --git a/helm/ocaml/cic_proof_checking/cicReduction.ml b/helm/ocaml/cic_proof_checking/cicReduction.ml index ce4a6d6cb..b7592f0fa 100644 --- a/helm/ocaml/cic_proof_checking/cicReduction.ml +++ b/helm/ocaml/cic_proof_checking/cicReduction.ml @@ -1079,7 +1079,6 @@ let rec normalize ?(delta=true) ?(subst=[]) ctx term = let t = whd ~delta ~subst ctx term in let aux = normalize ~delta ~subst in let decl name t = Some (name, C.Decl t) in - let def name t = Some (name, C.Def (t,None)) in match t with | C.Rel n -> t | C.Var (uri,exp_named_subst) -> -- 2.39.2