Minor improvements.

2 files changed, 2 insertions, 2 deletions

diff --git a/tdactor/td/actor/ConcurrentScheduler.cpp b/tdactor/td/actor/ConcurrentScheduler.cpp
index 108e07e68..ef8b802d3 100644
--- a/tdactor/td/actor/ConcurrentScheduler.cpp
+++ b/tdactor/td/actor/ConcurrentScheduler.cpp
@@ -70,7 +70,7 @@ void ConcurrentScheduler::test_one_thread_run() {
   } while (!is_finished_.load(std::memory_order_relaxed));
 }
 
-thread::id ConcurrentScheduler::get_thread_id(int32 sched_id) {
+thread::id ConcurrentScheduler::get_scheduler_thread_id(int32 sched_id) {
   auto thread_pos = static_cast<size_t>(sched_id - 1);
   CHECK(thread_pos < threads_.size());
   return threads_[thread_pos].get_id();
diff --git a/tdactor/td/actor/ConcurrentScheduler.h b/tdactor/td/actor/ConcurrentScheduler.h
index 29574d246..8766db733 100644
--- a/tdactor/td/actor/ConcurrentScheduler.h
+++ b/tdactor/td/actor/ConcurrentScheduler.h
@@ -50,7 +50,7 @@ class ConcurrentScheduler final : private Scheduler::Callback {
     return is_finished_.load(std::memory_order_relaxed);
   }
 
-  thread::id get_thread_id(int32 sched_id);
+  thread::id get_scheduler_thread_id(int32 sched_id);
 
   void start();