formatting problem in acsl-implementation-18.0-Argon.pdf

ID0002450: This issue was created automatically from Mantis Issue 2450. Further discussion may take place here.

---

Id	Project	Category	View	Due Date	Updated
ID0002450	Frama-C	Documentation > manuals	public	2019-06-09	2020-02-17

Reporter	kiniry	Assigned To	patrick	Resolution	fixed
Priority	normal	Severity	minor	Reproducibility	have not tried
Platform	-	OS	-	OS Version	-
Product Version	Frama-C 18-Argon	Target Version	-	Fixed in Version	Frama-C 20-Calcium

Description :

See page 45 of the manual. There is a formatting error pushing at least a paragraph about statement contracts off the lower right hand corner of the page.