void RegisterFile(string name, string result_file) { files [name] = new CompilationResult(File.GetLastWriteTime(name), result_file); }
void RegisterFile (string name, string result_file) { files [name] = new CompilationResult (File.GetLastWriteTime (name), result_file); }