# HG changeset patch
# User wenzelm
# Date 1699729700 -3600
# Node ID b0b86fead48cef0478e6be917745c934c63b2274
# Parent  bc89bdc65f295c8cba33c475cc2afa5a0ca1c6d3
more robust init;

diff -r bc89bdc65f29 -r b0b86fead48c src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Sat Nov 11 20:01:14 2023 +0100
+++ b/src/Pure/System/isabelle_system.scala	Sat Nov 11 20:08:20 2023 +0100
@@ -74,6 +74,7 @@
     synchronized {
       if (_classpath.isEmpty) _classpath = Some(Classpath())
     }
+    Registry.global
   }