tuned message;
authorwenzelm
Sat, 08 May 2021 00:31:51 +0200
changeset 73907 4fbbf421c376
parent 73906 9ce115baaa4f
child 73908 d5c3eee7da74
tuned message;
src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Fri May 07 23:56:18 2021 +0200
+++ b/src/Pure/System/isabelle_system.scala	Sat May 08 00:31:51 2021 +0200
@@ -300,7 +300,7 @@
       }
       catch {
         case ERROR(msg) =>
-          cat_error("Failed top copy file " +
+          cat_error("Failed to copy file " +
             File.path(src).absolute + " to " + File.path(dst).absolute, msg)
       }
     }