From 0d0dd206eb2900f714838c96cc88eb9b8012fc30 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 29 Apr 2003 18:30:35 +0000
Subject: Prise en compte des syntaxes v8 dans Uninterpreted Notation

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

diff --git a/parsing/g_vernacnew.ml4 b/parsing/g_vernacnew.ml4
index 19a03a22e6..4c62250d23 100644
--- a/parsing/g_vernacnew.ml4
+++ b/parsing/g_vernacnew.ml4
@@ -693,7 +693,7 @@ GEXTEND Gram
 
      | IDENT "Uninterpreted"; IDENT "Notation"; local = locality; s = STRING; 
 	 l = [ "("; l = LIST1 syntax_modifier SEP ","; ")" -> l | -> [] ]
-	 -> VernacSyntaxExtension (local,s,l)
+	 -> VernacSyntaxExtension (local,s,l,None)
 
      (* "Print" "Grammar" should be here but is in "command" entry in order 
         to factorize with other "Print"-based vernac entries *)
-- 
cgit v1.2.3