Sign in
gnu
/
gcc
/
94f7baf2194e2d20108c9d34d2766e6b14e25cef
/
.
/
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>