Style error leads to parser and model errors

[treiher]

Adding a style error to an otherwise correct specification leads to parser and model errors. This shouldn't be the case.

Example

diff --git a/examples/apps/ping/specs/ipv4.rflx b/examples/apps/ping/specs/ipv4.rflx
index f331eae82..49ac0da5d 100644
--- a/examples/apps/ping/specs/ipv4.rflx
+++ b/examples/apps/ping/specs/ipv4.rflx
@@ -43,7 +43,7 @@ package IPv4 is
             with Size => Total_Length * 8 - (IHL * 32);
       end message;
 
-   for Packet use (Payload => ICMP::Message)
+for Packet use (Payload => ICMP::Message)
       if Protocol = P_ICMP;
 
 end IPv4;

$ rflx check specs/ipv4.rflx
Parsing specs/ipv4.rflx
Parsing specs/ipv4_option.rflx
Parsing specs/icmp.rflx
Processing IPv4
Processing IPv4_Option
Processing ICMP
specs/ipv4.rflx:46:0: style: error: unexpected keyword indentation (expected 3, 12 or 15) [indentation]
specs/ipv4.rflx:17:32: parser: error: undefined element type "IPv4_Option::Option"
specs/ipv4.rflx:40:20: parser: error: undefined type "IPv4::Options"
specs/ipv4.rflx:40:10: model: error: missing type for field "Options" in "IPv4::Packet"
specs/ipv4.rflx:46:1: parser: error: undefined type "IPv4::Packet" in refinement
specs/ipv4.rflx:46:28: parser: error: undefined type "ICMP::Message" in refinement of "IPv4::Packet"

[treiher]

Fixed in version 0.12.0.