diff -r d78f3a4ba2df -r c2de3964cd6d config/companion_libs/cloog.in
--- a/config/companion_libs/cloog.in	Sun Feb 09 22:24:56 2014 +0100
+++ b/config/companion_libs/cloog.in	Sun Feb 09 22:25:20 2014 +0100
@@ -9,6 +9,11 @@
 # Don't remove next line
 # CT_INSERT_VERSION_BELOW
 
+config CLOOG_V_0_18_1
+    bool
+    prompt "0.18.1"
+    select CLOOG_0_18_or_later
+
 config CLOOG_V_0_18_0
     bool
     prompt "0.18.0"
@@ -53,6 +58,7 @@
 # Don't remove next line
 # CT_INSERT_VERSION_STRING_BELOW
     default "0.18.0" if CLOOG_V_0_18_0
+    default "0.18.1" if CLOOG_V_0_18_1
     default "0.15.11" if CLOOG_V_0_15_11
     default "0.15.10" if CLOOG_V_0_15_10
     default "0.15.9" if CLOOG_V_0_15_9