# HG changeset patch # User wenzelm # Date 1545221222 -3600 # Node ID 3b89c6b723a29ca99ba8313ad0a40feb176c0352 # Parent 4880575ec8a17a950b17e85b75a3cbe9021e0968# Parent 2cc9212342a728cc77ac6a8e67b5e5b8de9f23a9 merged diff -r 4880575ec8a1 -r 3b89c6b723a2 src/Tools/Haskell/Haskell.thy --- a/src/Tools/Haskell/Haskell.thy Wed Dec 19 08:16:42 2018 +0000 +++ b/src/Tools/Haskell/Haskell.thy Wed Dec 19 13:07:02 2018 +0100 @@ -1803,7 +1803,7 @@ loop :: Socket -> ByteString -> IO () loop server_socket password = forever $ do - (connection, peer) <- Socket.accept server_socket + (connection, _) <- Socket.accept server_socket Standard_Thread.fork_finally (do line <- Byte_Message.read_line connection