From dec21bc41bdb9e400b3c34452e9edd8077eb9b24 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 5 Dec 2001 15:32:08 +0000 Subject: [PATCH] Very stupid bug fixed: in is_small, I created an environment in reverse order. --- helm/ocaml/cic_proof_checking/cicTypeChecker.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/cic_proof_checking/cicTypeChecker.ml b/helm/ocaml/cic_proof_checking/cicTypeChecker.ml index 895d157df..1b1595100 100644 --- a/helm/ocaml/cic_proof_checking/cicTypeChecker.ml +++ b/helm/ocaml/cic_proof_checking/cicTypeChecker.ml @@ -1225,7 +1225,7 @@ and is_small paramsno c = | _ -> true (*CSC: we trust the type-checker *) in let (sx,dx) = split_prods paramsno c in - is_small_aux sx dx + is_small_aux (List.rev sx) dx and type_of t = type_of_aux' [] t -- 2.39.2