search

acsl-language / acsl

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

Section 2.7.2: fixed typo; “ca be” → “can be” #71

Closed PaulCapron closed 3 years ago

PaulCapron commented 3 years ago

Dear ACSL folks,

The attached commit fixed a little typo in § 7.2.2 Separation. An ’n’ was missing.

“[…] locations can be determined […]”

vprevosto commented 3 years ago

Well spotted, thanks for the patch.

PaulCapron commented 3 years ago

Je vous en prie :-)