fix write_off_points()

2021-01-29 09:43:53 +01:00 · 2021-01-29 09:43:53 +01:00 · 91f8b4a09f
parent 8e23769d8e
commit 91f8b4a09f
1 changed files with 1 additions and 2 deletions
--- a/Point_set_processing_3/include/CGAL/IO/write_off_points.h
+++ b/Point_set_processing_3/include/CGAL/IO/write_off_points.h
@ -207,8 +207,7 @@ bool write_OFF(const std::string& filename,
               )
 {
  std::ofstream os(filename);
-  if(parameters::is_default_parameter(
-       parameters::get_parameter(np, internal_np::stream_precision)))
+  set_default_stream_precision(os, np);
  return write_OFF(os, points, np);
 }