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 38a45c235cea24cb9425cf41bd1d1081453f3dbf..d52a20b723f0136966e3b22680032deeb097c775 100644 (file)
--- 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);
         }