From 3636d52354226848ef89fbe4539cfa4e5daaa170 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 15 Mar 2007 16:36:15 +0000
Subject: Suppression argument pattern_source du case_info (code jamais
 utilisé)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9707 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/record.ml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'toplevel')

diff --git a/toplevel/record.ml b/toplevel/record.ml
index 28ecb909a2..f3ec4732d7 100644
--- a/toplevel/record.ml
+++ b/toplevel/record.ml
@@ -152,8 +152,7 @@ let declare_projections indsp coers fields =
 		let ccl' = liftn 1 2 ccl in
 		let p = mkLambda (x, lift 1 rp, ccl') in
 		let branch = it_mkLambda_or_LetIn (mkRel nfi) lifted_fields in
-		let ci = Inductiveops.make_case_info env indsp
-		  LetStyle [| RegularPat |] in
+		let ci = Inductiveops.make_case_info env indsp LetStyle in
 		mkCase (ci, p, mkRel 1, [|branch|]) in
 	      let proj =
 	        it_mkLambda_or_LetIn (mkLambda (x,rp,body)) paramdecls in
-- 
cgit v1.2.3