diff -r 5d9b7f52514f -r 0a44fc4d6bd0 config/companion_libs/mpfr.in
--- a/config/companion_libs/mpfr.in	Mon May 25 17:16:49 2009 +0000
+++ b/config/companion_libs/mpfr.in	Sun Aug 02 20:06:44 2009 +0200
@@ -32,17 +32,3 @@
     default "2.4.1" if MPFR_V_2_4_1
 # CT_INSERT_VERSION_STRING_ABOVE
 # Don't remove above line!
-
-config MPFR_CHECK
-    bool
-    prompt "Check MPFR (!!! README !!!)"
-    default n
-    help
-      It is highly recommended to check the newly built MPFR library.
-      Unfortunately, this is a very intensive task, and takes a loooong time.
-
-      Checking MPFR is thus disabled by default.
-
-      If you suspect that your MPFR library is the cause for incorrectly
-      generated code, you should answer 'Y' here.
-