diff options
| author | Thomas M. DuBuisson <tommd@galois.com> | 2015-03-11 11:12:27 -0700 |
|---|---|---|
| committer | Thomas M. DuBuisson <tommd@galois.com> | 2015-03-11 11:12:27 -0700 |
| commit | 0d18936b19a4c2a0317660934f00b4391c98dc09 (patch) | |
| tree | e3dc24cf7999da97ef7fdd1798b4d2a40c8db517 /examples/devel | |
| parent | b112f61df9ba7748f6c764c6ae11df7f79e36b19 (diff) | |
In C99 int32_t is from stdint.h
A windows user was complaining about this issue on IRC today, so here's
a patch.
Diffstat (limited to 'examples/devel')
0 files changed, 0 insertions, 0 deletions