tuned message;
authorwenzelm
Mon Oct 24 11:48:32 2016 +0200 (2016-10-24)
changeset 64368364d74ea985f
parent 64367 a424f2737646
child 64369 6a9816764b37
tuned message;
src/Pure/Admin/check_sources.scala
     1.1 --- a/src/Pure/Admin/check_sources.scala	Mon Oct 24 11:42:39 2016 +0200
     1.2 +++ b/src/Pure/Admin/check_sources.scala	Mon Oct 24 11:48:32 2016 +0200
     1.3 @@ -41,7 +41,7 @@
     1.4        Output.warning("CR character" + Position.here(file_pos))
     1.5  
     1.6      if (Word.bidi_detect(content))
     1.7 -      Output.warning("Bidirectional Unicode text " + Position.here(file_pos))
     1.8 +      Output.warning("Bidirectional Unicode text" + Position.here(file_pos))
     1.9    }
    1.10  
    1.11    def check_hg(root: Path)