src/Tools/Code/code_target.ML

--- a/src/Tools/Code/code_target.ML	Sun Mar 30 13:50:06 2025 +0200
+++ b/src/Tools/Code/code_target.ML	Sun Mar 30 13:50:06 2025 +0200
@@ -656,7 +656,7 @@
 
 local
 
-val format_source = Pretty.block0 o Pretty.fbreaks o map Code_Printer.str o split_lines;
+val format_source = Pretty.block0 o Pretty.fbreaks o map Pretty.str o split_lines;
 
 fun eval_source (Literal s) = s
   | eval_source (File p) = File.read p;