ros-planning/navigation — pull request #171 by RainCT (2014-02-12 10:49:30+00:00)
Title: inflation_layer: place .top() & .pop() calls together

Hi,

Just some little cleanup. Feel free to ignore it (but let me know, so I can delete the branch).

The code was calling .pop() after inserting additional elements to the queue. This isn't a problem here, since the new elements should have a higher cost, but I personally find it cleaner if top&pop are always together.