src/Tools/Code/code_target.ML

 fun code_export_message thy = writeln (Export.message thy (Path.basic codeN));
 
 fun export binding content thy =
   let
     val thy' = thy |> Generated_Files.add_files (binding, content);
-    val _ = Export.export thy' binding [content];
+    val _ = Export.export thy' binding [XML.Text content];
   in thy' end;
 
 local
 
 fun export_logical (file_prefix, file_pos) format pretty_modules =