| 1151 | } |
| 1152 | |
| 1153 | void error(const char * fmt, ...) { |
| 1154 | va_list args; |
| 1155 | va_start(args, fmt); |
| 1156 | display_type cur = current_display; |
| 1157 | set_display(DISPLAY_TYPE_ERROR); |
| 1158 | vfprintf(out, fmt, args); |
| 1159 | set_display(cur); // restore previous color |
| 1160 | va_end(args); |
| 1161 | } |
| 1162 | |
| 1163 | void flush() { |
| 1164 | fflush(out); |
no test coverage detected