ID0002198: **This issue was created automatically from Mantis Issue 2198. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0002198 | Frama-C | Documentation | public | 2015-12-09 | 2016-06-21 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | jens | **Assigned To** | correnson | **Resolution** | open | | **Priority** | normal | **Severity** | minor | **Reproducibility** | always | | **Platform** | - | **OS** | - | **OS Version** | - | | **Product Version** | Frama-C Sodium | **Target Version** | Frama-C Aluminium | **Fixed in Version** | - | ### Description : In the description of option '-wp-prop' the help option '-wp-help' says "Accepted categories are: lemmas, ..." The WP manuals says (and the observed behavior of WP agrees with it) "Recognized categories are: @lemma,..." (without s). ### Additional Information : It's a minor typo but I actually ran into it. Should be easy to fix. ### Steps To Reproduce : Just run 'frama-c -wp-help'