typo in gui message
ID0001792: This issue was created automatically from Mantis Issue 1792. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001792 | Frama-Clang | Graphical User Interface | public | 2014-06-02 | 2015-02-18 |
| Reporter | Jochen | Assigned To | virgile | Resolution | fixed |
| Priority | none | Severity | text | Reproducibility | always |
| Platform | - | OS | xubuntu-cfe13.10 | OS Version | - |
| Product Version | Frama-C Neon-20140301 | Target Version | - | Fixed in Version | - |
Description :
"This si a from clause" should be "... is ..."
Steps To Reproduce :
run "frama-c-gui from01.cpp" on the attached program