From 77f5a051bb92b07456692fe70c2203d37a89a36d Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 27 Jun 2003 15:37:53 +0000 Subject: [PATCH] Reindentation. --- helm/ocaml/cic_proof_checking/cicReductionNaif.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/cic_proof_checking/cicReductionNaif.ml b/helm/ocaml/cic_proof_checking/cicReductionNaif.ml index 581c5918f..987f4b6ed 100644 --- a/helm/ocaml/cic_proof_checking/cicReductionNaif.ml +++ b/helm/ocaml/cic_proof_checking/cicReductionNaif.ml @@ -54,7 +54,7 @@ let whd context = (match List.nth context (n-1) with Some (_, C.Decl _) -> if l = [] then t else C.Appl (t::l) | Some (_, C.Def bo) -> whdaux l (S.lift n bo) - | None -> raise RelToHiddenHypothesis + | None -> raise RelToHiddenHypothesis ) | C.Var (uri,exp_named_subst) as t -> (match CicEnvironment.get_cooked_obj ~trust:false uri with -- 2.39.2