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