search

acsl-language / acsl

Sources for the ANSI/ISO C Specification Language manual
Other
49 stars 8 forks source link

Figure 2.8: Remove duplicate grammar rule for range. #82

Closed pottu closed 2 years ago

pottu commented 2 years ago

There are two identical rules for ranges in the grammar for sets of memory locations. This PR removes one of them.

vprevosto commented 2 years ago

Thanks for the report. At least the two definitions were coherent :sweat_smile: