proper pattern match;
authorwenzelm
Wed Dec 21 16:28:02 2016 +0100 (2016-12-21)
changeset 646450b513620d949
parent 64644 7dbc9485ed70
child 64646 805c5e6fa430
proper pattern match;
src/Tools/VSCode/src/server.scala
     1.1 --- a/src/Tools/VSCode/src/server.scala	Wed Dec 21 16:22:23 2016 +0100
     1.2 +++ b/src/Tools/VSCode/src/server.scala	Wed Dec 21 16:28:02 2016 +0100
     1.3 @@ -243,7 +243,7 @@
     1.4          json match {
     1.5            case Protocol.Initialize(id) => init(id)
     1.6            case Protocol.Shutdown(id) => shutdown(id)
     1.7 -          case Protocol.Exit => exit()
     1.8 +          case Protocol.Exit(()) => exit()
     1.9            case Protocol.DidOpenTextDocument(uri, lang, version, text) =>
    1.10              update_document(uri, text)
    1.11            case Protocol.DidChangeTextDocument(uri, version, List(Protocol.TextDocumentContent(text))) =>