@return 0 if no file found
*/
Source_file *
-Sources::get_file (String &file_string) //UGH
+Sources::get_file (std::string &file_string) //UGH
{
if ((file_string != "-") && path_)
{
- String file_string_o = path_->find (file_string);
+ std::string file_string_o = path_->find (file_string);
if ((file_string_o == "") && (file_string != ""))
return 0;
file_string = file_string_o;