Skip to content

Commit e7fc1d5

Browse files
Use align_center_with_border helper in goto-analyzer
1 parent 21d4f7d commit e7fc1d5

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

src/goto-analyzer/goto_analyzer_parse_options.cpp

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -717,10 +717,10 @@ void goto_analyzer_parse_optionst::help()
717717
{
718718
// clang-format off
719719
std::cout << '\n' << banner_string("GOTO-ANALYZER", CBMC_VERSION) << '\n'
720+
<< align_center_with_border("Copyright (C) 2017-2018") << '\n'
721+
<< align_center_with_border("Daniel Kroening, Diffblue") << '\n'
722+
<< align_center_with_border("[email protected]") << '\n'
720723
<<
721-
"* * Copyright (C) 2017-2018 * *\n"
722-
"* * Daniel Kroening, Diffblue * *\n"
723-
"* * [email protected] * *\n"
724724
"\n"
725725
"Usage: Purpose:\n"
726726
"\n"

0 commit comments

Comments
 (0)