Imported Upstream version 8.0pl3+8.1alphaupstream/8.0pl3+8.1alpha

1 files changed, 14 insertions, 14 deletions

diff --git a/test-suite/modules/sig.v b/test-suite/modules/sig.v
index eb8736bb..4cb6291d 100644
--- a/test-suite/modules/sig.v
+++ b/test-suite/modules/sig.v
@@ -1,29 +1,29 @@
 Module M.
   Module Type SIG.
-    Parameter T:Set.
-    Parameter x:T.
+    Parameter T : Set.
+    Parameter x : T.
   End SIG.
-  Module N:SIG.
-    Definition T:=nat.
-    Definition x:=O.
+  Module N : SIG.
+    Definition T := nat.
+    Definition x := 0.
   End N.
 End M.
 
-Module N:=M.
+Module N := M.
 
 Module Type SPRYT.
-  Declare Module N.
-    Definition T:=M.N.T.
-    Parameter x:T.
+  Module N.
+    Definition T := M.N.T.
+    Parameter x : T.
   End N.
 End SPRYT.
 
-Module K:SPRYT:=N.  
-Module K':SPRYT:=M.  
+Module K : SPRYT := N.  
+Module K' : SPRYT := M.  
 
 Module Type SIG.
-  Definition T:Set:=M.N.T.
-  Parameter x:T.
+  Definition T : Set := M.N.T.
+  Parameter x : T.
 End SIG.
 
-Module J:SIG:=M.N.
+Module J : SIG := M.N.
\ No newline at end of file