Revision 224d9d76 - Hack to avoid empty struct. This is mandatory for frama-c (for the moment) - LustreC

« Previous | Next »

Revision 224d9d76

Added by Pierre-Loïc Garoche about 11 years ago

ID 224d9d76aaf97e63ef8bf9b4bf89934d6a00d1c5
Parent 57ec37a1
Child 701b0c0a

Hack to avoid empty struct. This is mandatory for frama-c (for the moment)

added
modified
copied
renamed
deleted

src
- c_backend.ml (diff)