src/Pure/General/output_primitives_virtual.ML

--- a/src/Pure/General/output_primitives_virtual.ML	Sat Apr 09 19:30:15 2016 +0200
+++ b/src/Pure/General/output_primitives_virtual.ML	Sat Apr 09 19:38:25 2016 +0200
@@ -22,4 +22,6 @@
 fun result_fn x y = ! Private_Output.result_fn x y;
 fun protocol_message_fn x y = ! Private_Output.protocol_message_fn x y;
 
+val markup_fn = Markup.output;
+
 end;