From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 5 Dec 2020 15:38:17 +0000 (+0000)
Subject: abolish now-unused error nfc
X-Git-Tag: otter-0.2.0~275
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=c6db973c02e3c39247c990f4af5c5509b1c0a4d3;p=otter.git

abolish now-unused error nfc

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

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);