remove extra space

This commit is contained in:
Sébastien Loriot 2020-11-03 10:14:42 +01:00
parent ee7eff3d77
commit a08470bd8c
1 changed files with 1 additions and 1 deletions

View File

@ -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.");
}
};