src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Mon Mar 27 16:24:54 2023 +0200
+++ b/src/Pure/ROOT.ML	Mon Mar 27 19:41:18 2023 +0200
@@ -40,6 +40,7 @@
 ML_file "General/print_mode.ML";
 ML_file "General/alist.ML";
 ML_file "General/table.ML";
+ML_file "General/set.ML";
 
 ML_file "General/random.ML";
 ML_file "General/value.ML";