edited some spaces

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@6524 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

Author: kroening

src/goto-analyzer/goto_analyzer_parse_options.cpp

@@ -810,11 +810,11 @@ void goto_analyzer_parse_optionst::help()
 {
   std::cout <<
     "\n"
-    "* *   GOTO-ANALYSER " CBMC_VERSION " - Copyright (C) 2016 ";
+    "* * GOTO-ANALYSER " CBMC_VERSION " - Copyright (C) 2016 ";
 
   std::cout << "(" << (sizeof(void *)*8) << "-bit version)";
 
-  std::cout << "   * *\n";
+  std::cout << " * *\n";
 
   std::cout <<
     "* *                Daniel Kroening, DiffBlue                * *\n"