diff options
Diffstat (limited to 'include/gmp.h')
-rw-r--r-- | include/gmp.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/include/gmp.h b/include/gmp.h index e6f635e8d5..3590acf408 100644 --- a/include/gmp.h +++ b/include/gmp.h @@ -31,5 +31,9 @@ extern double __mpn_construct_double (mp_srcptr frac_ptr, int expt, extern long double __mpn_construct_long_double (mp_srcptr frac_ptr, int expt, int sign); +#if __HAVE_DISTINCT_FLOAT128 +extern _Float128 __mpn_construct_float128 (mp_srcptr frac_ptr, int expt, + int sign); +#endif #endif |