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