output += hashed_name;
}
return output + input.as_string();
return output + std::string(input);
void Program::UpdateLogInfo() {