diff options
| author | Christophe Grenier <[email protected]> | 2022-04-06 07:42:41 +0200 |
|---|---|---|
| committer | Christophe Grenier <[email protected]> | 2022-04-06 07:42:41 +0200 |
| commit | e6c21a9bb47bc55e137382ee310debb68ff18148 (patch) | |
| tree | 331f35e3e2e167e78bf5d469dda1adbdc40e0907 /src/qmainrec.cpp | |
| parent | 37d1b8ce36b2af3d99a7792dc6928929e437d617 (diff) | |
Avoid field with a 0 size as Frama-C do not support them.
Diffstat (limited to 'src/qmainrec.cpp')
0 files changed, 0 insertions, 0 deletions