# HG changeset patch
# User wenzelm
# Date 1674596908 -3600
# Node ID 7770537f5ceb706e499aeab05fb6d31b06c9222c
# Parent  bd5045cd6ca919272a9f7ee4c35faba7f63b0508
tuned;

diff -r bd5045cd6ca9 -r 7770537f5ceb src/Pure/Admin/other_isabelle.scala
--- a/src/Pure/Admin/other_isabelle.scala	Tue Jan 24 22:37:41 2023 +0100
+++ b/src/Pure/Admin/other_isabelle.scala	Tue Jan 24 22:48:28 2023 +0100
@@ -14,6 +14,10 @@
     isabelle_identifier: String = "",
     progress: Progress = new Progress
   ): Other_Isabelle = {
+    if (proper_string(System.getenv("ISABELLE_SETTINGS_PRESENT")).isDefined) {
+      error("Cannot initialize with enclosing ISABELLE_SETTINGS_PRESENT")
+    }
+
     new Other_Isabelle(isabelle_home.canonical, isabelle_identifier, progress)
   }
 }
@@ -25,10 +29,6 @@
 ) {
   override def toString: String = isabelle_home.toString
 
-  if (proper_string(System.getenv("ISABELLE_SETTINGS_PRESENT")).isDefined) {
-    error("Cannot initialize with enclosing ISABELLE_SETTINGS_PRESENT")
-  }
-
 
   /* static system */