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.8 */
6 #define _STDINT_HAVE_STDINT_H 1
7 #include <stdint.h>
8 #endif
9 #endif
10