From 914d19f19cd73d1794c0160bd6e7358c13eba630 Mon Sep 17 00:00:00 2001
From: ppedrot
Date: Sat, 23 Mar 2013 15:05:26 +0000
Subject: Minor code cleaning in CArray / CList.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16351 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 kernel/indtypes.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'kernel/indtypes.ml')

diff --git a/kernel/indtypes.ml b/kernel/indtypes.ml
index e6faaaa85d..57e6389825 100644
--- a/kernel/indtypes.ml
+++ b/kernel/indtypes.ml
@@ -386,8 +386,8 @@ let abstract_mind_lc env ntyps npars lc =
     lc
   else
     let make_abs =
-      List.tabulate
-	(function i -> lambda_implicit_lift npars (mkRel (i+1))) ntyps
+      List.init ntyps
+	(function i -> lambda_implicit_lift npars (mkRel (i+1)))
     in
     Array.map (substl make_abs) lc
 
@@ -552,7 +552,7 @@ let check_positivity kn env_ar params inds =
   let nmr = rel_context_nhyps params in
   let check_one i (_,lcnames,lc,(sign,_)) =
     let ra_env =
-      List.tabulate (fun _ -> (Norec,mk_norec)) lparams @ lra_ind in
+      List.init lparams (fun _ -> (Norec,mk_norec)) @ lra_ind in
     let ienv = (env_ar, 1+lparams, ntypes, ra_env) in
     let nargs = rel_context_nhyps sign - nmr in
     check_positivity_one ienv params (kn,i) nargs lcnames lc
-- 
cgit v1.2.3