Skip to content

Commit 38c8388

Browse files
committed
Remove obsolete not_found_msg
1 parent 03ada6e commit 38c8388

File tree

1 file changed

+0
-2
lines changed

1 file changed

+0
-2
lines changed

Diff for: src/util/sharing_map.h

-2
Original file line numberDiff line numberDiff line change
@@ -564,7 +564,6 @@ class sharing_mapt
564564
std::set<const void *> &marked,
565565
bool mark = true) const;
566566

567-
static const std::string not_found_msg;
568567
static const std::size_t dummy_level;
569568

570569
// config
@@ -1291,7 +1290,6 @@ SHARING_MAPT2(optionalt<std::reference_wrapper<const, mapped_type>>)::find(
12911290

12921291
// static constants
12931292

1294-
SHARING_MAPT(const std::string)::not_found_msg="key not found";
12951293
SHARING_MAPT(const std::size_t)::dummy_level = 0xff;
12961294

12971295
SHARING_MAPT(const std::size_t)::bits = 30;

0 commit comments

Comments
 (0)