- | Cic.Constant (_,Some u,_,[],_),saturations1 ->
- let t, menv, univ, saturationsres =
- generate_composite' (u,saturations1)
+ | Cic.Constant (_,Some u,_,[],_),saturations1,arity1 ->
+ let t, menv, univ, saturationsres, arityres =
+ generate_composite' (u,saturations1,arity1)