From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Thu, 29 Nov 2001 18:28:16 +0000 (+0000)
Subject: LetIn was missing.
X-Git-Tag: mlminidom_0_2_2~46
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e9c302661f68459965199f7198358c07d9083090;p=helm.git

LetIn was missing.
---

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 *)