| # | Line 314 | Line 314 | decode_all(const char *fname, int hdrflags) | |
|---|---|---|
| 314 | if (numeric) { | |
| 315 | printf("%d", ndx); | |
| 316 | } else { | |
| 317 | < | const char *id = idmap_next(idmp); |
| 317 | > | const char *id = mapID(idmp, ndx); |
| 318 | if (!id) { | |
| 319 | fputs(fname, stderr); | |
| 320 | fputs(": bad ID index in file\n", stderr); | |
| – | Removed lines |
| + | Added lines |
| < | Changed lines |
| > | Changed lines |