summaryrefslogtreecommitdiff
path: root/cxx
diff options
context:
space:
mode:
authorMarc Glisse <marc.glisse@inria.fr>2013-06-28 21:09:37 +0200
committerMarc Glisse <marc.glisse@inria.fr>2013-06-28 21:09:37 +0200
commitc3df806a3671a4f82959f5d3a035836e3ab1267d (patch)
tree084ab59e912365022047b94e683228431467add0 /cxx
parent4dba86e698ebb5f929c421af1a7c6c6227a111d5 (diff)
downloadgmp-c3df806a3671a4f82959f5d3a035836e3ab1267d.tar.gz
Use GMP_DECIMAL_POINT more consistently.
Diffstat (limited to 'cxx')
-rw-r--r--cxx/ismpf.cc2
-rw-r--r--cxx/osmpf.cc2
2 files changed, 2 insertions, 2 deletions
diff --git a/cxx/ismpf.cc b/cxx/ismpf.cc
index 520d4c3e2..b97d68b39 100644
--- a/cxx/ismpf.cc
+++ b/cxx/ismpf.cc
@@ -45,7 +45,7 @@ operator>> (istream &i, mpf_ptr f)
bool ok = false;
// C decimal point, as expected by mpf_set_str
- const char *lconv_point = localeconv()->decimal_point;
+ const char *lconv_point = GMP_DECIMAL_POINT;
// C++ decimal point
#if HAVE_STD__LOCALE
diff --git a/cxx/osmpf.cc b/cxx/osmpf.cc
index 402a57022..f60514bb7 100644
--- a/cxx/osmpf.cc
+++ b/cxx/osmpf.cc
@@ -47,7 +47,7 @@ operator<< (ostream &o, mpf_srcptr f)
point[0] = use_facet< numpunct<char> >(o.getloc()).decimal_point();
point[1] = '\0';
#else
- const char *point = localeconv()->decimal_point;
+ const char *point = GMP_DECIMAL_POINT;
#endif
GMP_ASPRINTF_T_INIT (d, &result);