From e9c302661f68459965199f7198358c07d9083090 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 29 Nov 2001 18:28:16 +0000 Subject: [PATCH] LetIn was missing. --- helm/fix_params/cicFindParameters.ml | 1 + 1 file changed, 1 insertion(+) diff --git a/helm/fix_params/cicFindParameters.ml b/helm/fix_params/cicFindParameters.ml index 03c3e1c85..555f44e2e 100644 --- a/helm/fix_params/cicFindParameters.ml +++ b/helm/fix_params/cicFindParameters.ml @@ -64,6 +64,7 @@ let rec parameters_of te ty pparams= | C.Cast (te, ty) -> aux te @@ aux ty | C.Prod (_, s, t) -> aux s @@ aux t | C.Lambda (_, s, t) -> aux s @@ aux t + | C.LetIn (_, s, t) -> aux s @@ aux t | C.Appl l -> List.fold_right (fun x i -> aux x @@ i) l S.empty | C.Const (uri,_) -> (* the parameters could be not exact but only possible *) -- 2.39.2