From 91f8b4a09fe0bacd661c3621739fc6facca0a56e Mon Sep 17 00:00:00 2001 From: Maxime Gimeno Date: Fri, 29 Jan 2021 09:43:53 +0100 Subject: [PATCH] fix write_off_points() --- Point_set_processing_3/include/CGAL/IO/write_off_points.h | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/Point_set_processing_3/include/CGAL/IO/write_off_points.h b/Point_set_processing_3/include/CGAL/IO/write_off_points.h index 0f075981d0b..0300012f350 100644 --- 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); }