src/Pure/PIDE/markup.scala

--- a/src/Pure/PIDE/markup.scala	Fri Aug 26 12:26:58 2022 +0200
+++ b/src/Pure/PIDE/markup.scala	Fri Aug 26 12:38:00 2022 +0200
@@ -146,8 +146,6 @@
   val DEF_FILE = "def_file"
   val DEF_ID = "def_id"
 
-  val DEF_THEORY = "def_theory"
-
   val POSITION = "position"
 
   val POSITION_PROPERTIES = Set(LINE, OFFSET, END_OFFSET, FILE, ID)