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, 7 insertions, 7 deletions

diff --git a/test-suite/modules/obj.v b/test-suite/modules/obj.v
index b02bdf189..2231e0849 100644
--- a/test-suite/modules/obj.v
+++ b/test-suite/modules/obj.v
@@ -1,26 +1,26 @@
 Implicit Arguments On.
 
-Mod M. 
+Module M. 
   Definition a:=[s:Set]s.
   Print a.
-EndM M.
+End M.
 
 Print M.a.
 
-Mod K.
+Module K.
   Definition app:=[A,B:Set; f:(A->B); x:A](f x).
-  Mod N.
+  Module N.
     Definition apap:=[A,B:Set](app (app 1!A 2!B)).
     Print app.
     Print apap.
-  EndM N.
+  End N.
   Print N.apap.
-EndM K.
+End K.
 
 Print K.app.
 Print K.N.apap.
 
-Mod W:=K.N.
+Module W:=K.N.
 
 Print W.apap.