From 07c2b2316fb06f5a0e1b2b27e7ecd604e0cc1544 Mon Sep 17 00:00:00 2001
From: Martin von Zweigbergk <martinvonz@google.com>
Date: Tue, 16 Mar 2021 23:55:20 -0700
Subject: [PATCH] repo: remove obsolete part of a TODO (we use the index to
 filter out non-heads)

---
 lib/src/repo.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/src/repo.rs b/lib/src/repo.rs
index b408f3449..d2c44254e 100644
--- a/lib/src/repo.rs
+++ b/lib/src/repo.rs
@@ -619,8 +619,8 @@ impl<'r> MutableRepo<'r> {
     fn enforce_view_invariants(&mut self) {
         let view = self.view.store_view_mut();
         // TODO: This is surely terribly slow on large repos, at least in its current
-        // form. We should make it faster (using the index) and avoid calling it in
-        // most cases (avoid adding a head that's already reachable in the view).
+        // form. We should avoid calling it in most cases (avoid adding a head that's
+        // already reachable in the view).
         view.public_head_ids = self
             .index
             .heads(view.public_head_ids.iter())