Project

General

Profile

« Previous | Next » 

Revision 224d9d76

ID224d9d76aaf97e63ef8bf9b4bf89934d6a00d1c5
Parent 57ec37a1
Child 701b0c0a

Added by Pierre-Loïc Garoche over 5 years ago

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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences