From d20e9ccd22fa3eb2e3d8e6d9fa1d203de83f2fe6 Mon Sep 17 00:00:00 2001
From: Makarius <makarius@sketis.net>
Date: Sun, 4 Dec 2022 00:45:07 +0100
Subject: [PATCH] Proper session qualifier for theory imports (amending
 44cae2e63146)

---
 src/scala/dof_mkroot.scala | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/scala/dof_mkroot.scala b/src/scala/dof_mkroot.scala
index 2b41889..9e4dcae 100644
--- a/src/scala/dof_mkroot.scala
+++ b/src/scala/dof_mkroot.scala
@@ -83,7 +83,8 @@ object DOF_Mkroot
     val thy = session_dir + Path.explode(name + ".thy")
     progress.echo("  creating " + thy)
     File.write(thy,
-      "theory\n  " + name + "\nimports\n  " + ontologies.mkString("\n  ") +  """
+      "theory\n  " + name +
+      "\nimports\n  " + ontologies.map("Isabelle_DOF." + _).mkString("\n  ") +  """
 begin
 
 use_template """ + quote(template) + """