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
---
 pretyping/cases.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pretyping/cases.ml')

diff --git a/pretyping/cases.ml b/pretyping/cases.ml
index 71c9325d70..bcf4b9e4a2 100644
--- a/pretyping/cases.ml
+++ b/pretyping/cases.ml
@@ -1092,7 +1092,7 @@ let first_clause_irrefutable env = function
 let group_equations pb ind current cstrs mat =
   let mat =
     if first_clause_irrefutable pb.env mat then [List.hd mat] else mat in
-  let brs = Array.create (Array.length cstrs) [] in
+  let brs = Array.make (Array.length cstrs) [] in
   let only_default = ref true in
   let _ =
     List.fold_right (* To be sure it's from bottom to top *)
-- 
cgit v1.2.3