Whitespace cleanup, comment type fixed

Author: tautschnig

src/cpp/cpp_constructor.cpp

@@ -41,7 +41,7 @@ codet cpp_typecheckt::cpp_constructor(
   {
     // We allow only one operand and it must be tagged with '#array_ini'.
     // Note that the operand is an array that is used for copy-initialization.
-    // In the general case, a program is not allow to use this form of
+    // In the general case, a program is not allowed to use this form of
     // construct. This way of initializing an array is used internally only.
     // The purpose of the tag #array_ini is to rule out ill-formed
     // programs.

src/cpp/cpp_declarator_converter.cpp

@@ -44,7 +44,6 @@ symbolt &cpp_declarator_convertert::convert(
     typet type;
     type.swap(declarator.name().get_sub().back());
     declarator.type().subtype()=type;
-    std::string tmp;
     cpp_typecheck.typecheck_type(type);
     irept name(ID_name);
     name.set(ID_identifier, "("+cpp_type2name(type)+")");

src/cpp/cpp_instantiate_template.cpp

@@ -443,8 +443,7 @@ const symbolt &cpp_typecheckt::instantiate_template(
       convert(method_decl);
     }
 
-    const symbolt &new_symb=
-      lookup(new_decl.type().get(ID_identifier));
+    const symbolt &new_symb = lookup(new_decl.type().get(ID_identifier));
 
     return new_symb;
   }

src/cpp/cpp_typecheck_compound_type.cpp

@@ -884,7 +884,7 @@ void cpp_typecheckt::typecheck_friend_declaration(
 
   for(auto &sub_it : declaration.declarators())
   {
-    bool has_value=sub_it.value().is_not_nil();
+    bool has_value = sub_it.value().is_not_nil();
 
     if(!has_value)
     {