Sign in
gnu
/
gcc
/
389dea6c4c1dd313e6e945eea0b1d9228a0b0141
/
.
/
libgcc
/
gstdint.h
blob: 4d61c318440731eec9ccff9dd3d723854ef98efe [
file
] [
log
] [
blame
]
/* 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>