unused;

--- a/src/Pure/Admin/component_e.scala	Sat Jan 04 12:51:59 2025 +0100
+++ b/src/Pure/Admin/component_e.scala	Sat Jan 04 15:03:23 2025 +0100
@@ -19,8 +19,6 @@
     progress: Progress = new Progress,
     target_dir: Path = Path.current
   ): Unit = {
-    Isabelle_System.require_command("patch")
-
     Isabelle_System.with_tmp_dir("build") { tmp_dir =>
       /* component */