src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Wed Apr 19 23:04:26 2023 +0200
+++ b/src/Pure/ROOT.ML	Wed Apr 19 23:27:33 2023 +0200
@@ -21,6 +21,7 @@
 ML_file "General/basics.ML";
 ML_file "General/string.ML";
 ML_file "General/vector.ML";
+ML_file "General/array.ML";
 ML_file "General/symbol_explode.ML";
 
 ML_file "Concurrent/multithreading.ML";