From 5847031d7f1978a4ab3f923ea3bd2ec81a545d9b Mon Sep 17 00:00:00 2001
From: Michael Hamburg <mike@shiftleft.org>
Date: Wed, 16 Jul 2014 14:41:12 -0700
Subject: [PATCH] fix bug in word.h, thanks David Leon Gil

---
 src/include/word.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/include/word.h b/src/include/word.h
index d165647..d48d20f 100644
--- a/src/include/word.h
+++ b/src/include/word.h
@@ -112,7 +112,6 @@ typedef word_t vecmask_t __attribute__((vector_size(32)));
     typedef uint32x4_t big_register_t;
     typedef uint64x2_t uint64xn_t;
     typedef uint32x4_t uint32xn_t;
-    typedef uint32_t uint32xn_t;
 
     static __inline__ big_register_t
     br_set_to_mask(mask_t x) {