src/Pure/Thy/thy_info.ML

--- a/src/Pure/Thy/thy_info.ML	Tue Dec 12 18:53:40 2017 +0100
+++ b/src/Pure/Thy/thy_info.ML	Wed Dec 13 16:18:40 2017 +0100
@@ -268,8 +268,8 @@
       in
         if exists (Toplevel.is_skipped_proof o #2) res then ()
         else
-          let val tex_source = Thy_Output.present_thy thy res toks |> Buffer.content;
-          in if document then Present.theory_output text_pos thy tex_source else () end
+          let val body = Thy_Output.present_thy thy res toks;
+          in if document then Present.theory_output text_pos thy body else () end
       end;
 
   in (thy, present, size text) end;