diff options
| -rw-r--r-- | config/companion_libs/mpfr.in | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/config/companion_libs/mpfr.in b/config/companion_libs/mpfr.in index 81119289..da9f2007 100644 --- a/config/companion_libs/mpfr.in +++ b/config/companion_libs/mpfr.in @@ -8,8 +8,7 @@ choice config MPFR_V_2_4_2 bool - prompt "2.4.2 (EXPERIMENTAL)" - depends on EXPERIMENTAL + prompt "2.4.2" config MPFR_V_2_4_1 bool |