From 32b7a0cc9c8302febd7639d22c80554fa4ec8d88 Mon Sep 17 00:00:00 2001
From: pboutill
Date: Wed, 19 Dec 2012 00:13:21 +0000
Subject: Array.create is deprecated

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

(limited to 'kernel/inductive.ml')

diff --git a/kernel/inductive.ml b/kernel/inductive.ml
index dddac2ba0c..740ac8c13d 100644
--- a/kernel/inductive.ml
+++ b/kernel/inductive.ml
@@ -522,8 +522,8 @@ let branches_specif renv c_spec ci =
 		  Array.map
 		    (fun t -> Lazy.force (spec_of_tree (lazy t)))
 		    vra
-	      | Dead_code -> Array.create nca Dead_code
-	      | _ -> Array.create nca Not_subterm) in
+	      | Dead_code -> Array.make nca Dead_code
+	      | _ -> Array.make nca Not_subterm) in
 	 List.tabulate (fun j -> lazy (Lazy.force lvra).(j)) nca)
       car 
 
-- 
cgit v1.2.3