minor formatting changes (#51)

This commit is contained in:
Robert Haschke 2018-05-31 18:01:30 +02:00 committed by Michael Görner
parent b35aba6e19
commit ac1ccba883
2 changed files with 5 additions and 4 deletions

View File

@ -83,6 +83,7 @@ bool FixCollisionObjects::fixCollisions(planning_scene::PlanningScene &scene, st
{
const auto& props = properties();
double penetration = props.get<double>("max_penetration");
(void) penetration; // not used (yet)
collision_detection::CollisionRequest req;
collision_detection::CollisionResult res;