changeset 71888 | feb37a43ace6 |
parent 71881 | 71de0a253842 |
child 72031 | b7cec26e41d1 |
--- a/src/Pure/ROOT.ML Mon May 25 19:10:38 2020 +0200 +++ b/src/Pure/ROOT.ML Mon May 25 20:43:19 2020 +0200 @@ -328,7 +328,7 @@ ML_file "System/message_channel.ML"; ML_file "System/isabelle_process.ML"; ML_file "System/scala.ML"; -ML_file "System/scala_check.ML"; +ML_file "System/scala_compiler.ML"; ML_file "Thy/bibtex.ML"; ML_file "PIDE/protocol.ML"; ML_file "General/output_primitives_virtual.ML";