# | 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 |