From 04a4bb37ed9ff66ad647133e9540a08653ee00c4 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 23 Aug 2020 21:04:39 +0100
Subject: [PATCH] fix

---
 src/bin/otter.rs | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/bin/otter.rs b/src/bin/otter.rs
index 7699e9cf..91a1cd0c 100644
--- a/src/bin/otter.rs
+++ b/src/bin/otter.rs
@@ -363,10 +363,6 @@ fn setup_table(ma: &MainOpts, chan: &mut ConnForGame,
     insns.push(MgmtGameInstruction::ResetPlayerAccesses {
       players: resetreport.clone(),
     });
-    insns.push(MgmtGameInstruction::ReportPlayerAccesses {
-      // xxx not needed
-      players: resetreport.clone(),
-    });
     let mut got_tokens = None;
     chan.alter_game(insns, Some(&mut |response| {
       if let MgmtGameResponse::PlayerAccessTokens(tokens) = response {
-- 
2.30.2