# HG changeset patch
# User wenzelm
# Date 1477302512 -7200
# Node ID 364d74ea985f9886ed8424a9b05a4ff8a12ab21a
# Parent  a424f27376469d74f613387216c0dd5266f1e9f6
tuned message;

diff -r a424f2737646 -r 364d74ea985f src/Pure/Admin/check_sources.scala
--- a/src/Pure/Admin/check_sources.scala	Mon Oct 24 11:42:39 2016 +0200
+++ b/src/Pure/Admin/check_sources.scala	Mon Oct 24 11:48:32 2016 +0200
@@ -41,7 +41,7 @@
       Output.warning("CR character" + Position.here(file_pos))
 
     if (Word.bidi_detect(content))
-      Output.warning("Bidirectional Unicode text " + Position.here(file_pos))
+      Output.warning("Bidirectional Unicode text" + Position.here(file_pos))
   }
 
   def check_hg(root: Path)