Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Admin/build_log.scala
changeset 64341 45b6faeee56d
parent 64303 605351c7ef97
child 65052 7f825cc6debf 
--- a/src/Pure/Admin/build_log.scala	Fri Oct 21 21:03:17 2016 +0200
+++ b/src/Pure/Admin/build_log.scala	Sat Oct 22 12:34:17 2016 +0200
@@ -368,7 +368,7 @@
           case _ => Meta_Info.empty
         }
 
-      case line :: _ if line.startsWith("\0") => Meta_Info.empty
+      case line :: _ if line.startsWith("\u0000") => Meta_Info.empty
       case List(Isatest.End(_)) => Meta_Info.empty
       case _ :: AFP_Test.Bad_Init() :: _ => Meta_Info.empty
       case Nil => Meta_Info.empty
isabelle