From cf5f21c8e7c54f0053c223e9ae6490b71d7314d3 Mon Sep 17 00:00:00 2001
From: Kaz Kylheku <kaz@kylheku.com>
Date: Sun, 18 Jun 2017 07:52:46 -0700
Subject: mpi: smaller default precision.

* mpi/mpi-config.h (MP_DEFPREC): Change from 16 to 8.
---
 mpi/mpi-config.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3