--- a/src/Pure/Tools/build_job.scala Sat Dec 17 19:35:49 2022 +0100
+++ b/src/Pure/Tools/build_job.scala Sat Dec 17 19:44:14 2022 +0100
@@ -276,7 +276,8 @@
override val cache: Term.Cache = store.cache
override def build_blobs_info(name: Document.Node.Name): Command.Blobs_Info = {
- session_background.base.load_commands.get(name.expand) match {
+ val name1 = name.map(s => Path.explode(s).expand.implode)
+ session_background.base.load_commands.get(name1) match {
case Some(spans) =>
val syntax = session_background.base.theory_syntax(name)
Command.build_blobs_info(syntax, name, spans)