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