Clean up following v1.15

acsl-language / acsl

Sources for the ANSI/ISO C Specification Language manual

Other

47 stars 8 forks source link

Closed vprevosto closed 3 years ago

vprevosto commented 3 years ago

Remove ex-section 2.16 that was redundant with 2.6.11
slightly expand new section 2.16 (ACSL attributes) that was nearly empty when committed.

Issue reported initially by @zilbuz