| 363 | } |
| 364 | |
| 365 | HighsStatus writeInfoToFile(FILE* file, const bool valid, const HighsInfo& info, |
| 366 | const HighsFileType file_type) { |
| 367 | return writeInfoToFile(file, valid, info.records, file_type); |
| 368 | } |
| 369 | |
| 370 | HighsStatus writeInfoToFile(FILE* file, const bool valid, |
| 371 | const std::vector<InfoRecord*>& info_records, |