cpplint

Author: marek-trtik

src/taint-analysis/taint_summary_dump.cpp

@@ -203,22 +203,20 @@ bool taint_functions_for_dumping_taint_summary_in_htmlt::
           "    <th>Index</th>\n"
           "    <th>Name</th>\n"
           "    <th>Type</th>\n"
-          "  </tr>\n"
-          ;
+          "  </tr>\n";
   assert(program.get_namespace().get_symbol_table().has_symbol(fn_id));
   const symbolt &fn_symbol=program.get_namespace().lookup(fn_id);
   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)
+  for(std::size_t i=0UL, n=fn_type.parameters().size(); i!=n; ++i)
   {
     const code_typet::parametert &param=fn_type.parameters().at(i);
     ostr << "  <tr>\n"
             "    <td>" << i << "</td>\n"
             "    <td>" << param.get_base_name() << "</td>\n"
-            "    <td>" << to_html_text(from_type(program.get_namespace(),"",
+            "    <td>" << to_html_text(from_type(program.get_namespace(), "",
                                                  param.type()))
                        << "</td>\n"
-            "  </tr>\n"
-            ;
+            "  </tr>\n";
   }
   ostr << "</table>\n";