diff --git a/Packages/Installation/install_cgal b/Packages/Installation/install_cgal index 53e05209293..ffe4ec3d7cd 100755 --- a/Packages/Installation/install_cgal +++ b/Packages/Installation/install_cgal @@ -1532,7 +1532,7 @@ print_headline() write_buffer "$1\n" write_buffer "$_MENU_LINE_EMPTY\r${_LEFTSPACE}**" string_n_print " " $_result - string_n_print "-" $l + string_n_print "=" $l write_buffer "\n" print_empty_line }