diff -r 851f3f9440ef -r 9f3f723938fc src/Pure/PIDE/command.scala
--- a/src/Pure/PIDE/command.scala	Tue Sep 16 11:23:50 2025 +0200
+++ b/src/Pure/PIDE/command.scala	Tue Sep 16 11:58:46 2025 +0200
@@ -464,8 +464,6 @@
   lazy val is_unparsed: Boolean = span.content.exists(_.is_unparsed)
   lazy val is_unfinished: Boolean = span.content.exists(_.is_unfinished)
 
-  def potentially_initialized: Boolean = span.name == Thy_Header.THEORY
-
 
   /* blobs */