Commit cd7da117f0ea0f176cd883d50e244ee3fa391c0e
2007-04-30T08:25:46
(hol_entry_cmp): Option sorting algorithm assumes the sorting is stable, while most qsort implementations are not. Use argument addresses to ensure they never compare as equal.