changeset 68530 | a110dcc9a4c7 |
parent 68410 | 4e27f5c361d2 |
child 68770 | add44e2b8cb0 |
--- a/src/Pure/Tools/server.scala Thu Jun 28 17:14:52 2018 +0200 +++ b/src/Pure/Tools/server.scala Fri Jun 29 10:24:36 2018 +0200 @@ -102,7 +102,7 @@ val session = context.server.the_session(args.session_id) Server_Commands.Use_Theories.command( args, session, id = task.id, progress = task.progress)._1 - }), + }) }, "purge_theories" -> { case (context, Server_Commands.Purge_Theories(args)) =>