typing rules in documentation

[proglang.git] / syntax.cf

diff --git a/syntax.cf b/syntax.cf
index de173e86a1fc5cd4f98b837cdd8b3622478bf0b2..d09a25c33849d524632a0b352994da59b2cf60b6 100644 (file)
--- a/syntax.cf
+++ b/syntax.cf
@@ -63,7 +63,7 @@ _. Op ::= Op0;
 
 
 
-TInt.     Type  ::= "int" ;
+TInt.   Type  ::= "int" ;
 TBool.  Type  ::= "bool" ;
 
 -- pragmas