# 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