Commit fc24ffbfb3384286efa20728fe054c884d487fb0

Behdad Esfahbod 2023-07-09T11:05:13

[priority-queue] Minor simplify Tail-recursion definitely was being optimized by compiler, but I prefer writing it this way.