diff options
Diffstat (limited to 'src/mpfr-mini-gmp.h')
-rw-r--r-- | src/mpfr-mini-gmp.h | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/mpfr-mini-gmp.h b/src/mpfr-mini-gmp.h index 16228ae03..4164c8595 100644 --- a/src/mpfr-mini-gmp.h +++ b/src/mpfr-mini-gmp.h @@ -20,10 +20,6 @@ along with the GNU MPFR Library; see the file COPYING.LESSER. If not, see http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301, USA. */ -#ifndef gmp_version -extern char gmp_version[]; -#endif - #ifndef GMP_NUMB_BITS /* see https://gmplib.org/list-archives/gmp-bugs/2015-October/003755.html */ #define GMP_NUMB_BITS (CHAR_BIT * sizeof(mp_limb_t)) |