From a08470bd8c831b793cf666c9d243e7ce42a1cc1d Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Loriot?= Date: Tue, 3 Nov 2020 10:14:42 +0100 Subject: [PATCH] remove extra space --- Number_types/include/CGAL/test_FPU_rounding_mode_impl.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Number_types/include/CGAL/test_FPU_rounding_mode_impl.h b/Number_types/include/CGAL/test_FPU_rounding_mode_impl.h index c018d34b116..0107cc32b1a 100644 --- a/Number_types/include/CGAL/test_FPU_rounding_mode_impl.h +++ b/Number_types/include/CGAL/test_FPU_rounding_mode_impl.h @@ -32,7 +32,7 @@ struct Check_FPU_rounding_mode_is_restored { { CGAL_assertion_msg( FPU_get_cw() == mode, "The default FPU rounding mode has not been restored " - " before the exit of the program. " + "before the exit of the program. " "That may be a bug in some CGAL kernel code."); } };