bc6d4c3f JM |
1 | /* This header is only for use of libdecnumber built as part of |
2 | libgcc. The targets supported for decimal floating point have |
3 | <stdint.h>; libdecnumber uses GCC_HEADER_STDINT only for the sake |
4 | of the host. */ |
5 | |
6 | #include <stdint.h> |