From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 24 Mar 2021 12:29:39 +0000 (+0000)
Subject: hidden: Rename a local variable
X-Git-Tag: otter-0.5.0~469
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=5f1ba715489fb7a29ba4fdea5167c9021ecd469f;p=otter.git

hidden: Rename a local variable

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/src/hidden.rs b/src/hidden.rs
index dd72884b..e83934aa 100644
--- a/src/hidden.rs
+++ b/src/hidden.rs
@@ -204,13 +204,13 @@ pub fn piece_pri(
 {
   let occk = if_chain! {
     if let Some(Passive { occid, notch }) = gpc.occult.passive;
-    if let Some(occultation) = occults.occults.get(occid);
-    if let Some(zg) = occultation.notch_zg(notch);
+    if let Some(occ) = occults.occults.get(occid);
+    if let Some(zg) = occ.notch_zg(notch);
     then {
-      occultation.views.get_kind(player)
+      occ.views.get_kind(player)
         .map_displaced(|(displace, z)| {
           let notch: NotchNumber = notch.into();
-          let pos = displace.place(occultation.ppiece_use_size, notch);
+          let pos = displace.place(occ.ppiece_use_size, notch);
           let z = z.plus_offset(notch)
             .unwrap_or_else(|e| { // eek!
               error!("z coordinate overflow ({:?}), bodging! {:?} {:?}",