# HG changeset patch
# User wenzelm
# Date 1489501173 -3600
# Node ID 4957c7ad92fc16f0fecef7a2b9810ff088ea64c4
# Parent  ab7c6e1257e375a0dbdc671e67f888ae9e64590c
tuned;

diff -r ab7c6e1257e3 -r 4957c7ad92fc src/Tools/VSCode/src/server.scala
--- a/src/Tools/VSCode/src/server.scala	Tue Mar 14 15:14:56 2017 +0100
+++ b/src/Tools/VSCode/src/server.scala	Tue Mar 14 15:19:33 2017 +0100
@@ -274,9 +274,7 @@
         delay_caret_update.revoke()
 
         val rc = session.stop()
-        if (rc == 0) reply("")
-        else reply("Prover shutdown failed: return code " + rc)
-
+        if (rc == 0) reply("") else reply("Prover shutdown failed: return code " + rc)
         None
       case None =>
         reply("Prover inactive")