Skip to content

Commit 711c7e3

Browse files
committed
Remove obsolete method is_singular() in sharing_mapt
1 parent e54e0f3 commit 711c7e3

File tree

1 file changed

+0
-5
lines changed

1 file changed

+0
-5
lines changed

src/util/sharing_map.h

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -575,11 +575,6 @@ class sharing_mapt
575575

576576
void gather_all(const innert &n, delta_viewt &delta_view) const;
577577

578-
bool is_singular(const leaf_listt &ll) const
579-
{
580-
return !ll.empty() && std::next(ll.begin()) == ll.end();
581-
}
582-
583578
std::size_t count_unmarked_nodes(
584579
bool leafs_only,
585580
std::set<const void *> &marked,

0 commit comments

Comments
 (0)