summaryrefslogtreecommitdiff
path: root/config/companion_libs/cloog.in
diff options
context:
space:
mode:
Diffstat (limited to 'config/companion_libs/cloog.in')
-rw-r--r--config/companion_libs/cloog.in3
1 files changed, 1 insertions, 2 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in
index d797b71..d2e6b0a 100644
--- a/config/companion_libs/cloog.in
+++ b/config/companion_libs/cloog.in
@@ -8,8 +8,7 @@ choice
config CLOOG_V_0_15_11
bool
- prompt "0.15.11 (EXPERIMENTAL)"
- depends on EXPERIMENTAL
+ prompt "0.15.11"
select CLOOG_0_15_1x
config CLOOG_V_0_15_10