Project

General

Profile

« Previous | Next » 

Revision 224d9d76

Added by Pierre-Loïc Garoche almost 8 years ago

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

  • added
  • modified
  • copied
  • renamed
  • deleted