--- a/src/Pure/ROOT.ML Sat Feb 20 22:09:16 2021 +0100
+++ b/src/Pure/ROOT.ML Sat Feb 20 23:01:35 2021 +0100
@@ -79,7 +79,7 @@
ML_file "PIDE/xml.ML";
ML_file "General/path.ML";
ML_file "General/url.ML";
-ML_file "System/bash_syntax.ML";
+ML_file "System/bash.ML";
ML_file "General/file.ML";
ML_file "General/long_name.ML";
ML_file "General/binding.ML";
@@ -294,7 +294,6 @@
(*Isabelle system*)
ML_file "PIDE/protocol_command.ML";
ML_file "System/scala.ML";
-ML_file "System/bash.ML";
ML_file "System/isabelle_system.ML";