tuned whitespace;

--- a/src/Pure/Tools/server_commands.scala	Wed Oct 12 14:49:05 2022 +0200
+++ b/src/Pure/Tools/server_commands.scala	Wed Oct 12 19:52:03 2022 +0200
@@ -316,8 +316,8 @@
 
     override val command_body: Server.Command_Body =
       { case (context, Purge_Theories(args)) =>
-        val session = context.server.the_session(args.session_id)
-        command(args, session)._1
+          val session = context.server.the_session(args.session_id)
+          command(args, session)._1
       }
   }
 }