diff options
| -rw-r--r-- | kconfig/gmphost.kconfig | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kconfig/gmphost.kconfig b/kconfig/gmphost.kconfig index 46160a9..1bc5f81 100644 --- a/kconfig/gmphost.kconfig +++ b/kconfig/gmphost.kconfig @@ -24,7 +24,7 @@ choice prompt "Version of gmp you wish" - default EMBTK_GMP_HOST_VERSION_4_2_4 + default EMBTK_GMP_HOST_VERSION_4_3_1 help GMP is a free library for arbitrary precision arithmetic, operating on signed integers, rational numbers, |