fix: remove unnecessary mut

dafny-lang · Jan 24, 2025 · efa110a · efa110a
1 parent 867e0e2
commit efa110a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Source/DafnyRuntime/DafnyRuntimeRust/src/lib.rs b/Source/DafnyRuntime/DafnyRuntimeRust/src/lib.rs
@@ -827,7 +827,7 @@ where
             } => {
                 #[cfg(feature = "sync")]
                 {
-                    let mut guard = cache.as_ref().lock().unwrap();
+                    let guard = cache.as_ref().lock().unwrap();
                     let cache_borrow: Option<&Rc<Vec<T>>> = guard.as_ref();
                     if let Some(cache) = cache_borrow {
                         return Rc::clone(cache);