From ba89fbf63acc1cd0ef0acd33ad022758587ecb4e Mon Sep 17 00:00:00 2001
From: Joseph Mirabel <jmirabel@laas.fr>
Date: Wed, 25 May 2016 20:50:18 +0200
Subject: [PATCH] Fix Roadmap::push_node
---
src/roadmap.cc | 5 ++++-
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/src/roadmap.cc b/src/roadmap.cc
index 4d26c98..f70331f 100644
--- a/src/roadmap.cc
+++ b/src/roadmap.cc
@@ -50,8 +50,11 @@ namespace hpp {
void Roadmap::push_node (const core::NodePtr_t& n)
{
- statInsert (static_cast <RoadmapNodePtr_t> (n));
Parent::push_node (n);
+ const RoadmapNodePtr_t& node =
+ static_cast <const RoadmapNodePtr_t> (n);
+ statInsert (node);
+ symbolicCCs_.insert(node->symbolicComponent());
}
void Roadmap::statInsert (const RoadmapNodePtr_t& n)
--
GitLab