rust/hg-core/src/dirstate_tree/status.rs
changeset 48257 f45d35950db6
parent 48218 15dedc0c5c35
child 48260 269ff8978086
--- a/rust/hg-core/src/dirstate_tree/status.rs	Tue Oct 19 19:03:39 2021 +0200
+++ b/rust/hg-core/src/dirstate_tree/status.rs	Mon Oct 18 19:02:40 2021 +0200
@@ -200,7 +200,7 @@
                 // directory eligible for `read_dir` caching.
                 if let Some(meta) = directory_metadata {
                     if cached_mtime
-                        .very_likely_equal_to_mtime_of(meta)
+                        .likely_equal_to_mtime_of(meta)
                         .unwrap_or(false)
                     {
                         // The mtime of that directory has not changed
@@ -471,7 +471,7 @@
                     let is_up_to_date = if let Some(cached) =
                         dirstate_node.cached_directory_mtime()?
                     {
-                        cached.very_likely_equal(truncated)
+                        cached.likely_equal(truncated)
                     } else {
                         false
                     };