Revision 224d9d76
Hack to avoid empty struct. This is mandatory for frama-c (for the moment)
Files
- added
- modified
- copied
- renamed
- deleted
| ID | 224d9d76aaf97e63ef8bf9b4bf89934d6a00d1c5 |
| Parent | 57ec37a1 |
| Child | 701b0c0a |
Added by Pierre-Loïc Garoche about 6 years ago
Hack to avoid empty struct. This is mandatory for frama-c (for the moment)