changeset 76278 | 6aeb18e8a557 |
parent 75920 | 27bf2533f4a4 |
child 76308 | fdf823f5b56f |
--- 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 } } }