Sign in
gnu
/
gcc
/
1f42849d7900609da7bf6e9daf1c7088095f9b6f
/
.
/
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>