src/Pure/context.ML

--- a/src/Pure/context.ML	Wed Sep 04 16:21:52 2024 +0200
+++ b/src/Pure/context.ML	Thu Sep 05 17:39:45 2024 +0200
@@ -336,7 +336,7 @@
 
 val pretty_thy = Pretty.str_list "{" "}" o display_names;
 
-val _ = ML_system_pp (fn _ => fn _ => Pretty.to_polyml o pretty_thy);
+val _ = ML_system_pp (fn _ => fn _ => Pretty.to_ML o pretty_thy);
 
 fun pretty_abbrev_thy thy =
   let