From da156297876fafd077314a5a234f84a59da057f6 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Tue, 2 Mar 2021 23:46:11 +0000
Subject: [PATCH] hidden: get rid of a drain

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 src/hidden.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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);
         }
-- 
2.30.2