Updates requested in the PR diffblue#88.

Author: marek-trtik

src/summaries/summary_dump.cpp

@@ -236,7 +236,6 @@ std::string dump_function_body_in_html(
           "    <th>Name</th>\n"
           "    <th>Type</th>\n"
           "  </tr>\n";
-  assert(ns.get_symbol_table().has_symbol(raw_fn_name));
   const symbolt &fn_symbol=ns.lookup(raw_fn_name);
   const code_typet &fn_type=to_code_type(fn_symbol.type);
   for(std::size_t i=0UL, n=fn_type.parameters().size(); i!=n; ++i)
@@ -254,9 +253,8 @@ std::string dump_function_body_in_html(
   ostr << "<p></p>\n";
 
   ostr << "<table>\n"
-          "  <caption>Instructions of the funtion. The symbol 'N/A' stands "
-          "for 'not available'. Column 'Loc' shows program locations. "
-          "All numbers are decimal.</caption>\n"
+          "  <caption>Instructions of the function. Column 'Loc' shows program "
+          "locations. All numbers are decimal.</caption>\n"
           "  <tr>\n"
           "    <th>Loc</th>\n"
           "    <th>Targets</th>\n"

src/summaries/summary_dump.h

@@ -53,7 +53,7 @@ Function: dump_function_body_in_html
 
  Outputs: See purpose
 
- Purpose:
+ Purpose: This function dumps the specified function in HTML format.
 
 
 \*******************************************************************/
@@ -262,8 +262,7 @@ void dump_access_path_in_html(
 \*******************************************************************/
 void  dump_html_prefix(
     std::ostream &ostr,
-    const std::string &page_name = ""
-    );
+    const std::string &page_name = "");
 
 /*******************************************************************\