From 46f4caf6d8ac042638b668a5fa16294b420641ac Mon Sep 17 00:00:00 2001
From: herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 30 May 2002 13:01:58 +0000
Subject: Finalement un seul constr pour l'instant dans ExtraRedExpr

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2735 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 pretyping/rawterm.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'pretyping/rawterm.mli')

diff --git a/pretyping/rawterm.mli b/pretyping/rawterm.mli
index 3a6d68115..d6543323e 100644
--- a/pretyping/rawterm.mli
+++ b/pretyping/rawterm.mli
@@ -110,7 +110,7 @@ type ('a,'b) red_expr_gen =
   | Unfold of (int list * 'b) list
   | Fold of 'a list
   | Pattern of (int list * 'a) list
-  | ExtraRedExpr of string * 'a list
+  | ExtraRedExpr of string * 'a
 
 type 'a or_metanum = AN of loc * 'a | MetaNum of loc * int
 
-- 
cgit v1.2.3