Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Tools/server_commands.scala
changeset 72627 8d83acc5062e
parent 72163 f5722290a4d0
child 72847 9dda93a753b1 
--- a/src/Pure/Tools/server_commands.scala	Mon Nov 16 23:19:07 2020 +0100
+++ b/src/Pure/Tools/server_commands.scala	Mon Nov 16 23:27:43 2020 +0100
@@ -73,8 +73,7 @@
 
       val base_info =
         Sessions.base_info(options, args.session, progress = progress, dirs = dirs,
-          include_sessions = args.include_sessions)
-      val base = base_info.check_base
+          include_sessions = args.include_sessions).check
 
       val results =
         Build.build(options,
isabelle