mourner/tinyqueue

after pop the order change in queue

liu-xinhui opened this issue · 1 comments

liu-xinhui commented

before the floor is，9 10 11.
after pop ,the order become 11 10.
its error，current is 10 11