From e4b822cca4b6fb34ecc4fae1f30ebd77bb46edd4 Mon Sep 17 00:00:00 2001
From: Niko Matsakis <niko@alum.mit.edu>
Date: Fri, 5 Jul 2019 05:59:21 -0400
Subject: [PATCH] s/verify_value/mark_value_as_verified/

---
 src/derived/slot.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/derived/slot.rs b/src/derived/slot.rs
index 1fb0dea4..489f679e 100644
--- a/src/derived/slot.rs
+++ b/src/derived/slot.rs
@@ -654,7 +654,7 @@ where
         );
 
         if self.check_durability(db) {
-            return Some(self.verify_value(revision_now));
+            return Some(self.mark_value_as_verified(revision_now));
         }
 
         match &mut self.inputs {
@@ -693,10 +693,10 @@ where
             }
         };
 
-        Some(self.verify_value(revision_now))
+        Some(self.mark_value_as_verified(revision_now))
     }
 
-    fn verify_value(&mut self, revision_now: Revision) -> StampedValue<Q::Value> {
+    fn mark_value_as_verified(&mut self, revision_now: Revision) -> StampedValue<Q::Value> {
         let value = match &self.value {
             Some(v) => v.clone(),
             None => panic!("invoked `verify_value` without a value!"),