diff -r 52cb065aa916 -r 07edf1952ab1 src/Pure/PIDE/resources.scala
--- a/src/Pure/PIDE/resources.scala	Wed Nov 18 15:47:53 2020 +0100
+++ b/src/Pure/PIDE/resources.scala	Wed Nov 18 15:52:12 2020 +0100
@@ -56,7 +56,7 @@
   def make_theory_content(thy_name: Document.Node.Name): Option[String] =
     File_Format.registry.get_theory(thy_name).flatMap(_.make_theory_content(resources, thy_name))
 
-  def make_preview(snapshot: Document.Snapshot): Option[Present.Preview] =
+  def make_preview(snapshot: Document.Snapshot): Option[Presentation.Preview] =
     File_Format.registry.get(snapshot.node_name).flatMap(_.make_preview(snapshot))
 
   def is_hidden(name: Document.Node.Name): Boolean =