Style improvements

Author: andreast271

src/cpp/cpp_scope.cpp

@@ -142,8 +142,7 @@ void cpp_scopet::lookup(
     other_scope.lookup(base_name, QUALIFIED, id_class, id_set);
   }
 
-  if(!id_set.empty() &&
-     id_class!=id_classt::TEMPLATE)
+  if(!id_set.empty() && id_class != id_classt::TEMPLATE)
     return; // done, upwards scopes are hidden
 
   // secondary scopes

src/cpp/cpp_typecheck_method_bodies.cpp

@@ -30,11 +30,8 @@ void cpp_typecheckt::typecheck_method_bodies(
     if(body.id()=="cpp_not_typechecked")
       continue;
 
-    if(body.is_not_nil() &&
-       !body.is_zero())
-    {
+    if(body.is_not_nil() && !body.is_zero())
       convert_function(method_symbol);
-    }
   }
 
   old_instantiation_stack.swap(instantiation_stack);