| changeset 83165 | 9f3f723938fc |
| parent 83158 | 7e94f31b6d6c |
| child 83168 | 21a4fd7b04c3 |
--- 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 */