doubling of a word
ID0002183: This issue was created automatically from Mantis Issue 2183. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0002183 | Frama-C | Documentation > ACSL | public | 2015-10-30 | 2016-06-21 |
| Reporter | jens | Assigned To | maroneze | Resolution | fixed |
| Priority | normal | Severity | trivial | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C Sodium | Target Version | Frama-C Aluminium | Fixed in Version | Frama-C Aluminium |
Description :
On Page 25 of acs-implementation-Sodium-20150201.pdf (Section 2.2.6) there is the sentence
Unlike in C, there is no implicit cast from from an array type to a pointer type.Please remove one occurrence of "from".
Additional Information :
I normally use the attached perl script to remove duplicate entries in text files