Spelling errors in binary
ID0001765: This issue was created automatically from Mantis Issue 1765. Further discussion may take place here.
Id | Project | Category | View | Due Date | Updated |
---|---|---|---|---|---|
ID0001765 | Frama-C | Kernel | public | 2014-04-28 | 2015-03-17 |
Reporter | mehdi | Assigned To | signoles | Resolution | fixed |
Priority | normal | Severity | minor | Reproducibility | always |
Platform | - | OS | - | OS Version | - |
Product Version | Frama-C Neon-20140301 | Target Version | - | Fixed in Version | Frama-C Sodium |
Description :
I've detected some spelling errors that end up in the binary. Please find attached a patch that deals with them. Besides, there is also a use of "informations" instead of "information" in a few places in the code.