From f77871b538c5b99cb53c72a6d61f4274315138c0 Mon Sep 17 00:00:00 2001 From: Tissevert Date: Tue, 24 Dec 2019 00:37:50 +0100 Subject: [PATCH] Hannah now tolerates LogIn and LogOut messages (but doesn't care about them) --- src/Automaton.hs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/Automaton.hs b/src/Automaton.hs index c7a2b4e..7083a31 100644 --- a/src/Automaton.hs +++ b/src/Automaton.hs @@ -86,6 +86,8 @@ answer state (Error {error}) = do - Ignore -} answer state@(Connected {}) (Okaeri {}) = return state +answer state (LogIn {}) = return state +answer state (LogOut {}) = return state answer state (Relay {}) = return state answer state message = do