From 0d18936b19a4c2a0317660934f00b4391c98dc09 Mon Sep 17 00:00:00 2001
From: "Thomas M. DuBuisson" <tommd@galois.com>
Date: Wed, 11 Mar 2015 11:12:27 -0700
Subject: In C99 int32_t is from stdint.h

A windows user was complaining about this issue on IRC today, so here's
a patch.
---
 packages/base/src/C/vector-aux.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'packages/base/src/C')

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;
 #include <math.h>
 #include <stdio.h>
 #include <stdlib.h>
+#include <stdint.h>
 
 #define MACRO(B) do {B} while (0)
 #define ERROR(CODE) MACRO(return CODE;)
-- 
cgit v1.2.3