throw away characters until current record has been entirely consumed */
| 205 | |
| 206 | /* throw away characters until current record has been entirely consumed */ |
| 207 | staticfn void |
| 208 | discardexcess(FILE *rfile) |
| 209 | { |
| 210 | int c; |
| 211 | |
| 212 | do { |
| 213 | c = fgetc(rfile); |
| 214 | } while (c != '\n' && c != EOF); |
| 215 | } |
| 216 | |
| 217 | DISABLE_WARNING_FORMAT_NONLITERAL |
| 218 |