src/Pure/Thy/present.scala

--- a/src/Pure/Thy/present.scala	Thu Jun 08 14:08:07 2017 +0200
+++ b/src/Pure/Thy/present.scala	Thu Jun 08 14:27:13 2017 +0200
@@ -123,6 +123,6 @@
 
   def theory_document(snapshot: Document.Snapshot): XML.Body =
   {
-    make_html(snapshot.markup_to_XML(document_span_elements))
+    make_html(snapshot.markup_to_XML(None, document_span_elements))
   }
 }