Addressing review

rust-semantics/expression/literals.md

@@ -94,5 +94,4 @@ module RUST-EXPRESSION-INTEGER-LITERALS
     rule startsWith(_, _) => false [owise]
 
 endmodule
-
 ```

rust-semantics/preprocessing/constants.md

@@ -11,10 +11,6 @@ module RUST-CONSTANTS
     rule
         (const Name:Identifier : T:Type = V:Value;):ConstantItem:KItem
         => setConstant(Name, implicitCast(V, T)) 
-        
-    // rule
-    //     (const Name:Identifier : _:Type = V:Bool;):ConstantItem:KItem
-    //     => setConstant(Name, V) [priority(50)]
 
     rule
         <k>
@@ -28,7 +24,5 @@ module RUST-CONSTANTS
             </constant>
             ...
         </constants> 
-        
-
 endmodule
 ```

rust-semantics/rust-common-syntax.md

@@ -257,7 +257,7 @@ https://doc.rust-lang.org/reference/items/extern-crates.html
                               | ByteLiteral | ByteStringLiteral | RawByteStringLiteral
                               | CStringLiteral | RawCStringLiteral
                               | IntegerLiteral | FloatLiteral
-                              
+
   syntax CharLiteral ::= "TODO: not needed yet, not implementing"
   // TODO: Not implemented properly
   syntax StringLiteral ::= String