Frama-C Bug Tracking System - Frama-C
View Issue Details
0001765Frama-CKernelpublic2014-04-28 21:472015-03-17 22:17
mehdi 
signoles 
normalminoralways
closedfixed 
Frama-C Neon-20140301 
Frama-C Sodium 
0001765: Spelling errors in binary
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.
No tags attached.
patch 0001-Fix-spelling-error-in-binary.patch (2,967) 2014-04-28 21:47
https://bts.frama-c.com/file_download.php?file_id=746&type=bug
Issue History
2014-04-28 21:47mehdiNew Issue
2014-04-28 21:47mehdiFile Added: 0001-Fix-spelling-error-in-binary.patch
2014-05-11 05:38signolesAssigned To => signoles
2014-05-11 05:38signolesStatusnew => assigned
2014-05-15 09:49signolesNote Added: 0005094
2014-05-15 09:49signolesStatusassigned => resolved
2014-05-15 09:49signolesResolutionopen => fixed
2015-03-17 22:17signolesFixed in Version => Frama-C Sodium
2015-03-17 22:17signolesStatusresolved => closed

Notes
(0005094)
signoles   
2014-05-15 09:49   
Thanks for the patch.