src/Pure/Thy/export_theory.ML
changeset 68231 0004e7a9fa10
parent 68230 9bee37c2ac2b
child 68232 4b93573ac5b4
     1.1 --- a/src/Pure/Thy/export_theory.ML	Sun May 20 15:28:59 2018 +0200
     1.2 +++ b/src/Pure/Thy/export_theory.ML	Sun May 20 15:37:16 2018 +0200
     1.3 @@ -32,8 +32,7 @@
     1.4      val parents = Theory.parents_of thy;
     1.5      val _ =
     1.6        export_body thy "parents"
     1.7 -        let open XML.Encode
     1.8 -        in list string (map Context.theory_long_name parents) end;
     1.9 +        (XML.Encode.string (cat_lines (map Context.theory_long_name parents)));
    1.10  
    1.11  
    1.12      (* entities *)