Sign in
gnu
/
gcc
/
81703584769707c34533e78c7a2bc229b0e14b2d
/
.
/
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>