label argument of \at unrecognized
ID0001811: This issue was created automatically from Mantis Issue 1811. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001811 | Frama-Clang | Plug-in > clang | public | 2014-06-16 | 2014-09-26 |
| Reporter | Jochen | Assigned To | virgile | Resolution | fixed |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | xubuntu-cfe13.10 | OS Version | - |
| Product Version | - | Target Version | - | Fixed in Version | Frama-C GIT, precise the release id |
Description :
output:
110.cpp:4:33: expecting a label in the \at construct Now output intermediate result
The problem remains when "entry" in line 4 is replaced by any of the FRAMA-C predefined labels "Old", "Pre", "Here", or "Post".
The problem disappears when the file is renamed to "110.c".