From c2fe3273ffef524b3fe4e837e3e2f5a6d6b6a2ce Mon Sep 17 00:00:00 2001 From: Laurent Rineau Date: Wed, 28 Jun 2023 22:50:18 +0200 Subject: [PATCH] fix the std::formatter for Output_rep --- Stream_support/include/CGAL/IO/io.h | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/Stream_support/include/CGAL/IO/io.h b/Stream_support/include/CGAL/IO/io.h index 7dd4e0c7e15..1cbb8054ba8 100644 --- a/Stream_support/include/CGAL/IO/io.h +++ b/Stream_support/include/CGAL/IO/io.h @@ -1006,8 +1006,10 @@ struct formatter, CharT> : public std::formatter CharT('9'))