From ae6b86c7d7500d31a4b356e4a8140f439cb3a0c5 Mon Sep 17 00:00:00 2001 From: v4hn Date: Wed, 30 May 2018 21:02:19 +0200 Subject: [PATCH] remove void line ? --- core/src/stages/fix_collision_objects.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/core/src/stages/fix_collision_objects.cpp b/core/src/stages/fix_collision_objects.cpp index 326a2f97..6bfffca8 100644 --- a/core/src/stages/fix_collision_objects.cpp +++ b/core/src/stages/fix_collision_objects.cpp @@ -83,7 +83,6 @@ bool FixCollisionObjects::fixCollisions(planning_scene::PlanningScene &scene, st { const auto& props = properties(); double penetration = props.get("max_penetration"); - (void) penetration; collision_detection::CollisionRequest req; collision_detection::CollisionResult res;