# HG changeset patch
# User wenzelm
# Date 1584551196 -3600
# Node ID 391ea80ff27c443ab00b33f55a1ea69c15ffbd05
# Parent  1005c50b2750acdb63c258b009b73ed78d4f8580
more robust re-use of $ISABELLE_TMP_PREFIX (amending c1597167563e);

diff -r 1005c50b2750 -r 391ea80ff27c src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Wed Mar 18 17:44:27 2020 +0100
+++ b/src/Pure/System/isabelle_system.scala	Wed Mar 18 18:06:36 2020 +0100
@@ -170,7 +170,7 @@
 
   /* tmp files */
 
-  private def isabelle_tmp_prefix(): JFile =
+  def isabelle_tmp_prefix(): JFile =
   {
     val path = Path.explode("$ISABELLE_TMP_PREFIX")
     path.file.mkdirs  // low-level mkdirs
diff -r 1005c50b2750 -r 391ea80ff27c src/Pure/Thy/sessions.scala
--- a/src/Pure/Thy/sessions.scala	Wed Mar 18 17:44:27 2020 +0100
+++ b/src/Pure/Thy/sessions.scala	Wed Mar 18 18:06:36 2020 +0100
@@ -386,6 +386,8 @@
         if (required_theories.isEmpty) (ancestor.get, Nil)
         else {
           val other_name = info.name + "_requirements(" + ancestor.get + ")"
+          Isabelle_System.isabelle_tmp_prefix()
+
           (other_name,
             List(
               make_info(info.options,