diff -r d4ddf19a1968 -r 073d351bdcd3 config/companion_libs/cloog.in
--- a/config/companion_libs/cloog.in	Sun Sep 13 17:51:33 2009 +0200
+++ b/config/companion_libs/cloog.in	Sun Sep 13 18:38:06 2009 +0200
@@ -3,6 +3,8 @@
 choice
     bool
     prompt "CLooG/ppl version"
+# Don't remove next line
+# CT_INSERT_VERSION_BELOW
 
 config CLOOG_V_0_15_7
     bool
@@ -24,16 +26,14 @@
     bool
     prompt "0.15.3"
 
-# CT_INSERT_VERSION_ABOVE
-# Don't remove above line!
 endchoice
 
 config CLOOG_VERSION
     string
+# Don't remove next line
+# CT_INSERT_VERSION_STRING_BELOW
     default "0.15.7" if CLOOG_V_0_15_7
     default "0.15.6" if CLOOG_V_0_15_6
     default "0.15.5" if CLOOG_V_0_15_5
     default "0.15.4" if CLOOG_V_0_15_4
     default "0.15.3" if CLOOG_V_0_15_3
-# CT_INSERT_VERSION_STRING_ABOVE
-# Don't remove above line!