| 1569 | // |
| 1570 | |
| 1571 | static int get_char( FILE* file) |
| 1572 | { |
| 1573 | if (input_char != input_buffer) |
| 1574 | return (int) *--input_char; |
| 1575 | |
| 1576 | const USHORT pc = getc(file); |
| 1577 | |
| 1578 | // Dump this char to stderr, so we can see |
| 1579 | // what input line will cause this ugly |
| 1580 | // core dump. |
| 1581 | // FSG 14.Nov.2000 |
| 1582 | if (sw_verbose) { |
| 1583 | fprintf(stderr, "%c", pc); |
| 1584 | } |
| 1585 | return pc; |
| 1586 | } |
| 1587 | |
| 1588 | |
| 1589 | //____________________________________________________________ |