in.getline(profile);
set_option("profile", profile);
}
- catch(const IO::FileNotFound &)
+ catch(const IO::file_not_found &)
{ }
freeze_mtime = true;
Loader loader(*this);
loader.load(parser);
}
- catch(const IO::FileNotFound &)
+ catch(const IO::file_not_found &)
{ }
}