src/Pure/System/isabelle_system.scala

--- a/src/Pure/System/isabelle_system.scala	Thu May 23 21:39:40 2024 +0200
+++ b/src/Pure/System/isabelle_system.scala	Fri May 24 15:55:34 2024 +0200
@@ -223,7 +223,7 @@
       catch {
         case ERROR(msg) =>
           cat_error("Failed to copy file " +
-            File.path(src).absolute + " to " + File.path(dst).absolute, msg)
+            File.path(src).absolute + " to " + File.path(target).absolute, msg)
       }
     }
   }