From bdffc8fe5dda6aa553017cd5bdbccafced225a55 Mon Sep 17 00:00:00 2001 From: Star Rauchenberger Date: Thu, 7 Aug 2025 21:35:25 -0400 Subject: Added special IDs --- tools/assign_ids/main.cpp | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'tools/assign_ids') diff --git a/tools/assign_ids/main.cpp b/tools/assign_ids/main.cpp index 1824c6f..39b532a 100644 --- a/tools/assign_ids/main.cpp +++ b/tools/assign_ids/main.cpp @@ -40,6 +40,8 @@ class AssignIds { ProcessMaps(datadir_path); WriteIds(ids_path); + + std::cout << "Next ID: " << next_id_ << std::endl; } void ReadIds(std::filesystem::path path) { @@ -61,6 +63,12 @@ class AssignIds { } } + for (const auto& [_, id] : id_mappings_.special()) { + if (id > next_id_) { + next_id_ = id; + } + } + next_id_++; } -- cgit 1.4.1