Sign in
android
/
toolchain
/
gcc
/
4c6f623bd2ae9aee57f79da71f9f4b0499be98f4
/
.
/
gcc-4.8.3
/
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>