diff -r 73abc1020bfd -r e8db2209d21d src/Pure/PIDE/session.scala
--- a/src/Pure/PIDE/session.scala	Sun Oct 19 13:36:57 2025 +0200
+++ b/src/Pure/PIDE/session.scala	Sun Oct 19 13:45:07 2025 +0200
@@ -780,9 +780,6 @@
       infos = resources.session_background.infos)
   }
 
-  def build_ok(dirs: List[Path] = Nil): Boolean =
-    build(dirs = dirs, no_build = true).ok
-
   def start(start_prover: Prover.Receiver => Prover): Unit = {
     file_formats
     _phase.change(