Index: lib/Headers/f16cintrin.h
===================================================================
--- lib/Headers/f16cintrin.h
+++ lib/Headers/f16cintrin.h
@@ -32,9 +32,6 @@
 #ifndef __F16CINTRIN_H
 #define __F16CINTRIN_H
 
-typedef float __v8sf __attribute__ ((__vector_size__ (32)));
-typedef float __m256 __attribute__ ((__vector_size__ (32)));
-
 #define _mm_cvtps_ph(a, imm) __extension__ ({ \
   __m128 __a = (a); \
  (__m128i)__builtin_ia32_vcvtps2ph((__v4sf)__a, (imm)); })