diff options
| -rw-r--r-- | mpi/mpi-config.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mpi/mpi-config.h b/mpi/mpi-config.h index 56bcc482..ed7a87b6 100644 --- a/mpi/mpi-config.h +++ b/mpi/mpi-config.h @@ -41,7 +41,7 @@ #endif #ifndef MP_DEFPREC -#define MP_DEFPREC 16 /* default precision, in digits */ +#define MP_DEFPREC 8 /* default precision, in digits */ #endif #ifndef MP_MACRO |