Skip to content

typo in grammar

ID0001784: This issue was created automatically from Mantis Issue 1784. Further discussion may take place here.


Id Project Category View Due Date Updated
ID0001784 Frama-C Documentation > ACSL public 2014-05-25 2015-09-09
Reporter DavidCok Assigned To patrick 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 :

The ACSL Neon documentation, in Fig 2.12, uses 'lemma-def' but defines 'lemma-decl'.

Presumably these should both be 'lemma-def'

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information