From c6db973c02e3c39247c990f4af5c5509b1c0a4d3 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 5 Dec 2020 15:38:17 +0000
Subject: [PATCH] abolish now-unused error nfc

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 src/commands.rs | 1 -
 src/global.rs   | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/commands.rs b/src/commands.rs
index 2f395204..888ff534 100644
--- a/src/commands.rs
+++ b/src/commands.rs
@@ -163,7 +163,6 @@ pub enum MgmtError {
   GameCorrupted,
   AccountNotFound(#[from] AccountNotFound),
   PlayerNotFound(#[from] PlayerNotFound),
-  AuthorisationUninitialised,
   PieceNotFound,
   LimitExceeded,
   ServerFailure(String),
diff --git a/src/global.rs b/src/global.rs
index 96b78dda..eda99477 100644
--- a/src/global.rs
+++ b/src/global.rs
@@ -739,7 +739,7 @@ impl<'ig> InstanceGuard<'ig> {
     } else {
 
       let token = match current_tokens.as_slice() {
-        [] => throw!(ME::AuthorisationUninitialised),
+        [] => panic!(), // this possibility was excluded earlier
         [token] => token,
         _ => {
           warn!("duplicate token for {}", player);
-- 
2.30.2