diff options
Diffstat (limited to 'mpq')
-rw-r--r-- | mpq/init.c | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/mpq/init.c b/mpq/init.c index 6ece98ab1..7fbf905d9 100644 --- a/mpq/init.c +++ b/mpq/init.c @@ -1,6 +1,6 @@ /* mpq_init -- Make a new rational number with value 0/1. -Copyright 1991, 1994, 1995, 2000-2002 Free Software Foundation, Inc. +Copyright 1991, 1994, 1995, 2000-2002, 2015 Free Software Foundation, Inc. This file is part of the GNU MP Library. @@ -41,9 +41,4 @@ mpq_init (mpq_t x) PTR(DEN(x)) = __GMP_ALLOCATE_FUNC_LIMBS (1); PTR(DEN(x))[0] = 1; SIZ(DEN(x)) = 1; - -#ifdef __CHECKER__ - /* let the low limb look initialized, for the benefit of mpz_get_ui etc */ - PTR(NUM(x))[0] = 0; -#endif } |