Petites corrections ici et la

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

1 files changed, 5 insertions, 5 deletions

diff --git a/test-suite/modules/grammar.v b/test-suite/modules/grammar.v
index 7751e9f38..fb734b5d5 100644
--- a/test-suite/modules/grammar.v
+++ b/test-suite/modules/grammar.v
@@ -1,15 +1,15 @@
-Mod N.
+Module N.
 Definition f:=plus.
 Syntax constr level 7: plus [ (f $n $m)] -> [ $n:L "+" $m:E].
 Check (f O O).
-EndM N.
+End N.
 Check (N.f O O).
-Imp N.
+Import N.
 Check (N.f O O).
 Check (f O O).
-Mod M:=N.
+Module M:=N.
 Check (f O O).
 Check (N.f O O).
-Imp M.
+Import M.
 Check (f O O).
 Check (N.f O O).