From 74db2b0098893a5912d7480a259ad91664a86120 Mon Sep 17 00:00:00 2001
From: barras
Date: Fri, 12 Mar 2010 15:30:51 +0000
Subject: fixed confusion between number of cstr arguments and number of
 pattern variables (which include let-ins in cstr type)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12864 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 plugins/subtac/subtac_command.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'plugins/subtac')

diff --git a/plugins/subtac/subtac_command.ml b/plugins/subtac/subtac_command.ml
index 7315326b7f..9965e7be54 100644
--- a/plugins/subtac/subtac_command.ml
+++ b/plugins/subtac/subtac_command.ml
@@ -184,7 +184,7 @@ let sigT = Lazy.lazy_from_fun build_sigma_type
 let sigT_info = lazy
   { ci_ind       = destInd (Lazy.force sigT).typ;
     ci_npar      = 2;
-    ci_cstr_nargs = [|2|];
+    ci_cstr_ndecls = [|2|];
     ci_pp_info   =  { ind_nargs = 0; style = LetStyle }
   }
 
-- 
cgit v1.2.3