tuned;

--- 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 */