search

acsl-language / acsl

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

Fix typo of 'any' #92

Closed Costava closed 10 months ago

vprevosto commented 10 months ago

Thanks for the fix, and sorry for having taken so much time to merge it, this somehow fell at the bottom of my stack at some point :confused: .