Searched defs:ops_file (Results 1 – 2 of 2) sorted by relevance
41 const string& ops_file() const { return ops_file_; } in ops_file() function
38 const string& ops_file = compatibility.ops_file(); in WriteUpdateTo() local