fix

diff --git a/src/bin/otter.rs b/src/bin/otter.rs
index 7699e9cfd3f22e6905aef2b6aa05d6f4995c510f..91a1cd0cd0ec4764698493d80571c2e362452097 100644 (file)
--- 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 {