diff -r 3c7852327787 -r 265bbad3d6af src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Wed May 20 15:00:25 2020 +0100
+++ b/src/Pure/ROOT.ML	Wed May 20 20:45:43 2020 +0200
@@ -327,7 +327,7 @@
 ML_file "System/command_line.ML";
 ML_file "System/message_channel.ML";
 ML_file "System/isabelle_process.ML";
-ML_file "System/invoke_scala.ML";
+ML_file "System/scala.ML";
 ML_file "Thy/bibtex.ML";
 ML_file "PIDE/protocol.ML";
 ML_file "General/output_primitives_virtual.ML";