search

acsl-language / acsl

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

Paragraph in the right margin #52

Closed lyonel2017 closed 5 years ago

lyonel2017 commented 5 years ago

In the release 1.13 of ACSL manual, companion to Frama-C 17 - Chlorine, in section 2.4.4 "Statement contracts", at the end of page 45, a paragraph is placed in the right margin.

pbaudin commented 5 years ago

Thanks @lyonel2017. The text seems be to a margin note that has not been removed before the pdf export. The text has not to be considered, except for the author of the note. Perhaps, it would have been preferable for the author to open an new issue (labelled "clarification request") instead of introducing a such latex \marginpar...

pbaudin commented 5 years ago

Will be fixed by #54.