Bête renommage

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@279 85f007b7-540e-0410-9357-904b9bb8a0f7

4 files changed, 5 insertions, 5 deletions

diff --git a/parsing/g_basevernac.ml4 b/parsing/g_basevernac.ml4
index 2068bd9dcd..dec8594750 100644
--- a/parsing/g_basevernac.ml4
+++ b/parsing/g_basevernac.ml4
@@ -173,9 +173,9 @@ END;
 (* Grammar extensions *)
 	  
 GEXTEND Gram
-  GLOBAL: syntax_command Prim.syntax_entry Prim.grammar_entry;
+  GLOBAL: syntax Prim.syntax_entry Prim.grammar_entry;
 
-  syntax_command:
+  syntax:
    [ [ "Token"; s = STRING; "." -> <:ast< (TOKEN ($STR $s)) >>
 
      | "Grammar"; univ=IDENT; tl=LIST1 Prim.grammar_entry SEP "with"; "." ->
diff --git a/parsing/g_vernac.ml4 b/parsing/g_vernac.ml4
index f3deaa20ec..25010016ca 100644
--- a/parsing/g_vernac.ml4
+++ b/parsing/g_vernac.ml4
@@ -10,7 +10,7 @@ GEXTEND Gram
     [ [ g = gallina -> g 
       | g = gallina_ext -> g
       | c = command -> c 
-      | c = syntax_command -> c ] ]
+      | c = syntax -> c ] ]
   ;
   vernac: LAST
     [ [ tac = tacarg; "." -> <:ast< (SOLVE 1 (TACTIC $tac)) >> ] ]
diff --git a/parsing/pcoq.ml4 b/parsing/pcoq.ml4
index 54fd236b66..a27fa3cd98 100644
--- a/parsing/pcoq.ml4
+++ b/parsing/pcoq.ml4
@@ -341,7 +341,7 @@ module Vernac =
     let gallina = gec "gallina"
     let gallina_ext = gec "gallina_ext"
     let command = gec "command"
-    let syntax_command = gec "syntax_command"
+    let syntax = gec "syntax_command"
     let vernac = gec "vernac"
     let vernac_eoi = eoi_entry vernac
   end
diff --git a/parsing/pcoq.mli b/parsing/pcoq.mli
index cc868939d0..e271a5bd07 100644
--- a/parsing/pcoq.mli
+++ b/parsing/pcoq.mli
@@ -144,7 +144,7 @@ module Vernac :
     val gallina : Coqast.t Gram.Entry.e
     val gallina_ext : Coqast.t Gram.Entry.e
     val command : Coqast.t Gram.Entry.e
-    val syntax_command : Coqast.t Gram.Entry.e
+    val syntax : Coqast.t Gram.Entry.e
     val vernac : Coqast.t Gram.Entry.e
     val vernac_eoi : Coqast.t Gram.Entry.e
   end