| 960 | } |
| 961 | |
| 962 | HighsStatus writeOptionsToFile(FILE* file, const HighsLogOptions& log_options, |
| 963 | const std::vector<OptionRecord*>& option_records, |
| 964 | const bool report_only_deviations, |
| 965 | const HighsFileType file_type) { |
| 966 | reportOptions(file, log_options, option_records, report_only_deviations, |
| 967 | file_type); |
| 968 | return HighsStatus::kOk; |
| 969 | } |
| 970 | |
| 971 | void reportOptions(FILE* file, const HighsLogOptions& log_options, |
| 972 | const std::vector<OptionRecord*>& option_records, |
no test coverage detected