# HG changeset patch
# User wenzelm
# Date 1662212600 -7200
# Node ID 4aeb5f019e532afff1ab2b9b929bb79a4a3ce9e5
# Parent  c90799513ed0c48a085e055573eb7d6e2b790822
unused (see 347ed6219dab);

diff -r c90799513ed0 -r 4aeb5f019e53 src/Pure/PIDE/session.scala
--- a/src/Pure/PIDE/session.scala	Sat Sep 03 15:39:26 2022 +0200
+++ b/src/Pure/PIDE/session.scala	Sat Sep 03 15:43:20 2022 +0200
@@ -65,7 +65,6 @@
   case object Caret_Focus
   case class Raw_Edits(doc_blobs: Document.Blobs, edits: List[Document.Edit_Text])
   case class Dialog_Result(id: Document_ID.Generic, serial: Long, result: String)
-  case class Build_Theories(id: String, master_dir: Path, theories: List[(Options, List[Path])])
   case class Commands_Changed(
     assignment: Boolean, nodes: Set[Document.Node.Name], commands: Set[Command])