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/build_job.scala
changeset 76860 f95ed5a0600c
parent 76852 2915740fce1f
child 76871 a17f9ff37558 
--- a/src/Pure/Tools/build_job.scala	Mon Jan 02 11:57:57 2023 +0100
+++ b/src/Pure/Tools/build_job.scala	Mon Jan 02 12:29:08 2023 +0100
@@ -33,8 +33,7 @@
       val master_dir =
         Url.strip_base_name(thy_file).getOrElse(
           error("Cannot determine theory master directory: " + quote(thy_file)))
-      val node_name =
-        Document.Node.Name(thy_file, master_dir = master_dir, theory = theory_context.theory)
+      val node_name = Document.Node.Name(thy_file, theory = theory_context.theory)
 
       val results =
         Command.Results.make(
isabelle