# HG changeset patch
# User wenzelm
# Date 1674589708 -3600
# Node ID f9a858060836ef39c7f4a5149b97ab12c5a943d1
# Parent  092449efcb0e55d9aa5c3ed00b0a6b632886cc79
tuned;

diff -r 092449efcb0e -r f9a858060836 src/Pure/Tools/dotnet_setup.scala
--- a/src/Pure/Tools/dotnet_setup.scala	Tue Jan 24 20:43:55 2023 +0100
+++ b/src/Pure/Tools/dotnet_setup.scala	Tue Jan 24 20:48:28 2023 +0100
@@ -50,7 +50,7 @@
         self.ISABELLE_PLATFORM64))
   }
 
-  def default_target_dir: Path = Path.explode("$ISABELLE_COMPONENTS_BASE")
+  def default_target_dir: Path = Components.default_components_base
   def default_install_url: String = "https://dot.net/v1/dotnet-install"
   def default_version: String = "6.0.402"