Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
merged
authorwenzelm
Wed, 19 Dec 2018 13:07:02 +0100
changeset 69481 3b89c6b723a2
parent 69479 4880575ec8a1 (current diff)
parent 69480 2cc9212342a7 (diff)
child 69482 186b03abb764
merged
--- 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
isabelle