infopane: temporarly mark ipl as unused

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

diff --git a/src/global.rs b/src/global.rs
index bf63e69d2569b807383ed7c4242e93ab0cbe5acf..a50d2b8ae2c858b03355edbd7a1d438281eba427 100644 (file)
--- a/src/global.rs
+++ b/src/global.rs
@@ -420,7 +420,7 @@ impl Instance {
       account: &'r str,
     };
     let players = self.gs.players.iter().filter_map(|(player, gpl)| {
-      let ipl = self.iplayers.get(player)?;
+      let _ipl = self.iplayers.get(player)?;
       let (idx, _) = player.data().get_idx_version();
       Some(RenderPlayer {
         player_num: idx,