From 1c89da79deaa061598e82ab56f17aa3af3e9d15c Mon Sep 17 00:00:00 2001
From: fniu <free.niu@gmail.com>
Date: Mon, 14 Aug 2023 21:10:45 +0200
Subject: [PATCH] [ fix ] add a missing case (#61)

Co-authored-by: Fei Niu <fei.niu@prover.com>
---
 src/Solutions/DataTypes.idr | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Solutions/DataTypes.idr b/src/Solutions/DataTypes.idr
index f074ebdc..9f62ca7b 100644
--- a/src/Solutions/DataTypes.idr
+++ b/src/Solutions/DataTypes.idr
@@ -239,6 +239,7 @@ login Nil       (Key u _)      = Left (UnknownUser u)
 login (x :: xs) cs             = case login1 x cs of
   Right c               => Right c
   Left  InvalidPassword => Left InvalidPassword
+  Left  InvalidKey      => Left InvalidKey
   Left _                => login xs cs
 
 --5