diff options
Diffstat (limited to 'gmp/mpf/get_ui.c')
-rw-r--r-- | gmp/mpf/get_ui.c | 27 |
1 files changed, 8 insertions, 19 deletions
diff --git a/gmp/mpf/get_ui.c b/gmp/mpf/get_ui.c index eb9b30e69c..0acaf94a87 100644 --- a/gmp/mpf/get_ui.c +++ b/gmp/mpf/get_ui.c @@ -5,28 +5,17 @@ Copyright 2001, 2002, 2004 Free Software Foundation, Inc. This file is part of the GNU MP Library. The GNU MP Library is free software; you can redistribute it and/or modify -it under the terms of either: - - * the GNU Lesser General Public License as published by the Free - Software Foundation; either version 3 of the License, or (at your - option) any later version. - -or - - * the GNU General Public License as published by the Free Software - Foundation; either version 2 of the License, or (at your option) any - later version. - -or both in parallel, as here. +it under the terms of the GNU Lesser General Public License as published by +the Free Software Foundation; either version 3 of the License, or (at your +option) any later version. The GNU MP Library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License -for more details. +or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public +License for more details. -You should have received copies of the GNU General Public License and the -GNU Lesser General Public License along with the GNU MP Library. If not, -see https://www.gnu.org/licenses/. */ +You should have received a copy of the GNU Lesser General Public License +along with the GNU MP Library. If not, see http://www.gnu.org/licenses/. */ #include "gmp.h" #include "gmp-impl.h" @@ -72,7 +61,7 @@ see https://www.gnu.org/licenses/. */ tested first we ensure MP_EXP_T_MIN doesn't reach exp>1. */ unsigned long -mpf_get_ui (mpf_srcptr f) __GMP_NOTHROW +mpf_get_ui (mpf_srcptr f) { mp_size_t size; mp_exp_t exp; |