diff options
Diffstat (limited to 'config/companion_libs/cloog.in')
| -rw-r--r-- | config/companion_libs/cloog.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/config/companion_libs/cloog.in b/config/companion_libs/cloog.in index d797b719..d2e6b0a6 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 |