diff options
| author | Alex Richardson | 2020-05-15 16:26:37 +0100 |
|---|---|---|
| committer | Alex Richardson | 2020-05-15 16:29:55 +0100 |
| commit | a2ddd7d0fb1f1c3b6ac0d7bd360ff9a6f9d728dc (patch) | |
| tree | 02554a206214bf29beb6d3c60d8afbe1631204e9 /src/property.mli | |
| parent | 4d50c7b8601907774da137f4f3609f644f5df20a (diff) | |
C backend: Only add static to model_{init,fini} if -static is passed
Otherwise the C emulator doesn't build.
Diffstat (limited to 'src/property.mli')
0 files changed, 0 insertions, 0 deletions