src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Sun Nov 13 14:56:24 2022 +0100
+++ b/src/Pure/ROOT.ML	Sun Nov 13 20:28:39 2022 +0100
@@ -349,6 +349,7 @@
 ML_file "General/base64.ML";
 ML_file "General/xz.ML";
 ML_file "General/zstd.ML";
+ML_file "Tools/prismjs.ML";
 ML_file "Tools/build.ML";
 ML_file "Tools/named_thms.ML";
 ML_file "Tools/print_operation.ML";