From 2c69b466ac8b71526ec372d29cc46848716fbb0b Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Wed, 9 Aug 2023 22:10:16 +0200
Subject: [PATCH] expand comment

---
 src/tools/miri/src/concurrency/range_object_map.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/tools/miri/src/concurrency/range_object_map.rs b/src/tools/miri/src/concurrency/range_object_map.rs
index 98878991f531..859eb4bbb60d 100644
--- a/src/tools/miri/src/concurrency/range_object_map.rs
+++ b/src/tools/miri/src/concurrency/range_object_map.rs
@@ -45,6 +45,7 @@ impl<T> RangeObjectMap<T> {
         self.v.binary_search_by(|elem| -> std::cmp::Ordering {
             if offset < elem.range.start {
                 // We are too far right (offset is further left).
+                // (`Greater` means that `elem` is greater than the desired target.)
                 std::cmp::Ordering::Greater
             } else if offset >= elem.range.end() {
                 // We are too far left (offset is further right).