src/Pure/Isar/isar_output.ML
changeset 17151 bc97adfeeaa7
parent 17089 f708a31fa8bb
child 17185 5140808111d1
--- a/src/Pure/Isar/isar_output.ML	Fri Aug 26 19:36:07 2005 +0200
+++ b/src/Pure/Isar/isar_output.ML	Fri Aug 26 19:47:23 2005 +0200
@@ -247,8 +247,7 @@
     (tag_stack, active_tag, newline, buffer, present_cont) =
   let
     val present = fold (fn (raw, tok, d) =>
-      if d > 0 then I
-      else Buffer.add raw #> Buffer.add (output_token lex state' tok));
+      Buffer.add raw o (if d > 0 then I else Buffer.add (output_token lex state' tok)));
 
     val Span ((cmd_name, cmd_pos, cmd_tags), srcs, span_newline) = span;