src/Pure/General/set.ML

--- a/src/Pure/General/set.ML	Wed Sep 04 16:21:52 2024 +0200
+++ b/src/Pure/General/set.ML	Thu Sep 05 17:39:45 2024 +0200
@@ -501,8 +501,7 @@
 
 val _ =
   ML_system_pp (fn depth => fn _ => fn set =>
-    ML_Pretty.to_polyml
-      (ML_Pretty.enum "," "{" "}" (ML_Pretty.from_polyml o ML_system_pretty) (dest set, depth)));
+    ML_Pretty.enum "," "{" "}" ML_system_pretty (dest set, depth));
 
 (*final declarations of this structure!*)
 val fold = fold_set;