src/Tools/jEdit/src/isabelle_sidekick.scala

--- a/src/Tools/jEdit/src/isabelle_sidekick.scala	Fri Jan 06 11:58:29 2017 +0100
+++ b/src/Tools/jEdit/src/isabelle_sidekick.scala	Fri Jan 06 13:27:18 2017 +0100
@@ -178,7 +178,7 @@
   override def parser(buffer: Buffer, syntax: Outer_Syntax, data: SideKickParsedData): Boolean =
   {
     val opt_snapshot =
-      PIDE.document_model(buffer) match {
+      Document_Model.get(buffer) match {
         case Some(model) if model.is_theory => Some(model.snapshot)
         case _ => None
       }