src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Mon Jul 13 21:20:36 2020 +0200
+++ b/src/Pure/ROOT.ML	Mon Jul 13 22:07:18 2020 +0200
@@ -114,8 +114,6 @@
 ML_file "ML/exn_properties.ML";
 ML_file_no_debug "ML/exn_debugger.ML";
 
-ML_file "ML/ml_statistics.ML";
-
 ML_file "Concurrent/thread_data_virtual.ML";
 ML_file "Concurrent/isabelle_thread.ML";
 ML_file "Concurrent/single_assignment.ML";