summaryrefslogtreecommitdiff
path: root/packages
diff options
context:
space:
mode:
authorThomas M. DuBuisson <tommd@galois.com>2015-03-11 11:12:27 -0700
committerThomas M. DuBuisson <tommd@galois.com>2015-03-11 11:12:27 -0700
commit0d18936b19a4c2a0317660934f00b4391c98dc09 (patch)
treee3dc24cf7999da97ef7fdd1798b4d2a40c8db517 /packages
parentb112f61df9ba7748f6c764c6ae11df7f79e36b19 (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 'packages')
-rw-r--r--packages/base/src/C/vector-aux.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/packages/base/src/C/vector-aux.c b/packages/base/src/C/vector-aux.c
index dda47cb..599f69e 100644
--- a/packages/base/src/C/vector-aux.c
+++ b/packages/base/src/C/vector-aux.c
@@ -13,6 +13,7 @@ typedef float complex TCF;
13#include <math.h> 13#include <math.h>
14#include <stdio.h> 14#include <stdio.h>
15#include <stdlib.h> 15#include <stdlib.h>
16#include <stdint.h>
16 17
17#define MACRO(B) do {B} while (0) 18#define MACRO(B) do {B} while (0)
18#define ERROR(CODE) MACRO(return CODE;) 19#define ERROR(CODE) MACRO(return CODE;)