src/Pure/General/buffer.ML

--- a/src/Pure/General/buffer.ML	Mon Sep 09 11:12:13 2024 +0200
+++ b/src/Pure/General/buffer.ML	Mon Sep 09 11:21:48 2024 +0200
@@ -15,7 +15,6 @@
   val content: T -> string
   val build: (T -> T) -> T
   val build_content: (T -> T) -> string
-  val markup: Markup.T -> (T -> T) -> T -> T
 end;
 
 structure Buffer: BUFFER =
@@ -41,8 +40,4 @@
 
 end;
 
-fun markup m body =
-  let val (bg, en) = Markup.output m
-  in add bg #> body #> add en end;
-
 end;