1 #ifndef _ISL_INCLUDE_ISL_STDINT_H 2 #define _ISL_INCLUDE_ISL_STDINT_H 1 3 #ifndef _GENERATED_STDINT_H 4 #define _GENERATED_STDINT_H "isl 0.11.1" 5 /* generated using gnu compiler x86_64-linux-gcc (GCC) 4.6.x-google 20120106 (prerelease) */ 6 #define _STDINT_HAVE_STDINT_H 1 7 #include <stdint.h> 8 #endif 9 #endif 10