From c1c73b1a9c5a171c28fef36a5cb7233ec3d135c9 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Sun, 23 Aug 2009 00:07:36 +0000
Subject: Fix a small oversight in checker commit 12288.

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

diff --git a/checker/declarations.ml b/checker/declarations.ml
index 67f44c4d33..8cbc964f44 100644
--- a/checker/declarations.ml
+++ b/checker/declarations.ml
@@ -514,8 +514,8 @@ type one_inductive_body = {
 
 let val_one_ind = val_tuple "one_inductive_body"
   [|val_id;val_rctxt;val_ind_arity;val_array val_id;val_array val_constr;
-    val_int; val_list val_sortfam;val_array val_constr;val_array val_int;
-    val_wfp; val_int; val_int; no_val|]
+    val_int;val_int;val_list val_sortfam;val_array val_constr;val_array val_int;
+    val_wfp;val_int;val_int;no_val|]
 
 
 type mutual_inductive_body = {
-- 
cgit v1.2.3