1.1 --- a/config/companion_libs/mpfr.in	Mon May 25 17:16:49 2009 +0000
     1.2 +++ b/config/companion_libs/mpfr.in	Mon May 25 19:46:58 2009 +0000
     1.3 @@ -32,17 +32,3 @@
     1.4      default "2.4.1" if MPFR_V_2_4_1
     1.5  # CT_INSERT_VERSION_STRING_ABOVE
     1.6  # Don't remove above line!
     1.7 -
     1.8 -config MPFR_CHECK
     1.9 -    bool
    1.10 -    prompt "Check MPFR (!!! README !!!)"
    1.11 -    default n
    1.12 -    help
    1.13 -      It is highly recommended to check the newly built MPFR library.
    1.14 -      Unfortunately, this is a very intensive task, and takes a loooong time.
    1.15 -
    1.16 -      Checking MPFR is thus disabled by default.
    1.17 -
    1.18 -      If you suspect that your MPFR library is the cause for incorrectly
    1.19 -      generated code, you should answer 'Y' here.
    1.20 -