Searched refs:savenum (Results 1 – 1 of 1) sorted by relevance
412 offset_t savenum; in delgen() local415 savenum = linenum; in delgen()420 if (savenum +1 != linenum) in delgen()421 (void) printf(",%lldd%lld\n", linenum, savenum); in delgen()423 (void) printf("d%lld\n", savenum); in delgen()