diff --git a/src/roadmap.cc b/src/roadmap.cc index 96a1562f70dc2c612a3538cc8b736e6160222816..a505ed48ff0d8423c2b925550c208d184025b27f 100644 --- a/src/roadmap.cc +++ b/src/roadmap.cc @@ -51,6 +51,7 @@ namespace hpp { for (it = hs.begin(); it != hs.end(); ++it) (*it)->clear (); } + symbolicCCs_.clear(); } void Roadmap::push_node (const core::NodePtr_t& n)