diff --git a/src/rose/rose_build_impl.h b/src/rose/rose_build_impl.h index 8748a08c..dd0752f6 100644 --- a/src/rose/rose_build_impl.h +++ b/src/rose/rose_build_impl.h @@ -509,8 +509,6 @@ public: // Is the Rose anchored? bool hasNoFloatingRoots() const; - RoseVertex cloneVertex(RoseVertex v); - u32 calcHistoryRequired() const; rose_group getInitialGroups() const; diff --git a/src/rose/rose_build_misc.cpp b/src/rose/rose_build_misc.cpp index 142bf138..549cc4f1 100644 --- a/src/rose/rose_build_misc.cpp +++ b/src/rose/rose_build_misc.cpp @@ -866,17 +866,6 @@ bool operator<(const RoseEdgeProps &a, const RoseEdgeProps &b) { return false; } -// Note: only clones the vertex, you'll have to wire up your own edges. -RoseVertex RoseBuildImpl::cloneVertex(RoseVertex v) { - RoseVertex v2 = add_vertex(g[v], g); - - for (const auto &lit_id : g[v2].literals) { - literal_info[lit_id].vertices.insert(v2); - } - - return v2; -} - #ifndef NDEBUG bool roseHasTops(const RoseBuildImpl &build, RoseVertex v) { const RoseGraph &g = build.g;