fix for identifiers for 'this'

Author: Daniel Kroening

src/cpp/cpp_typecheck_compound_type.cpp

@@ -1483,6 +1483,7 @@ void cpp_typecheckt::add_this_to_method_type(
 
   parameter.set_identifier(ID_this); // check? Not qualified
   parameter.set_base_name(ID_this);
+  parameter.set_this();
 
   typet subtype=symbol_typet(compound_symbol);
 

src/cpp/cpp_typecheck_function.cpp

@@ -136,7 +136,7 @@ void cpp_typecheckt::convert_function(symbolt &symbol)
   cpp_scopet &function_scope=cpp_scopes.set_scope(symbol.name);
 
   // fix the scope's prefix
-  function_scope.prefix+=id2string(symbol.name)+"::";
+  function_scope.prefix=id2string(symbol.name)+"::";
 
   // genuine function definition -- do the parameter declarations
   convert_parameters(symbol.mode, function_type);