diff -r 945dc995daa7 -r 7995942261f2 config/companion_libs/cloog.in
--- a/config/companion_libs/cloog.in	Sun May 24 22:04:14 2009 +0000
+++ b/config/companion_libs/cloog.in	Mon May 25 19:46:58 2009 +0000
@@ -17,16 +17,3 @@
     default "0.15.3" if CLOOG_V_0_15_3
 # CT_INSERT_VERSION_STRING_ABOVE
 # Don't remove above line!
-
-config CLOOG_CHECK
-    bool
-    prompt "Check CLooG (!!! README !!!)"
-    default n
-    help
-      It is highly recommended to check the newly built CLooG library.
-      Unfortunately, this is a very intensive task, and takes a loooong time.
-      
-      Checking CLooG is thus disabled by default.
-      
-      If you suspect that your CLooG library is the cause for incorrectly
-      generated code, you should answer 'Y' here.