whitespace

Author: Daniel Kroening

src/cpp/cpp_typecheck_compound_type.cpp

@@ -497,7 +497,7 @@ void cpp_typecheckt::typecheck_compound_declarator(
 
     // the 'virtual' name of the function
     std::string virtual_name=
-    component.get_string(ID_base_name)+
+      component.get_string(ID_base_name)+
       id2string(
         function_identifier(static_cast<const typet &>(component.find(ID_type))));