From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Tue, 2 Mar 2021 23:46:11 +0000 (+0000)
Subject: hidden: get rid of a drain
X-Git-Tag: otter-0.4.0~248
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=da156297876fafd077314a5a234f84a59da057f6;p=otter.git

hidden: get rid of a drain

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

diff --git a/src/hidden.rs b/src/hidden.rs
index 38a45c23..d52a20b7 100644
--- a/src/hidden.rs
+++ b/src/hidden.rs
@@ -731,12 +731,12 @@ mod recompute {
       r
     }
     pub fn mark_dirty(&mut self, occid: OccId) { self.outdated.insert(occid); }
-    pub fn implement(mut self,
+    pub fn implement(self,
                      gplayers: &GPlayers,
                      gpieces: &mut GPieces,
                      goccults: &mut GameOccults,
                      ipieces: &IPieces) -> Implemented {
-      for occid in self.outdated.drain() {
+      for occid in self.outdated {
         if let Some(occ) = goccults.occults.get_mut(occid) {
           vpid::permute(occid, occ, gplayers, gpieces, ipieces);
         }