diff -r 236e1ea5a197 -r f868f12f9419 src/Pure/Tools/check_source.scala
--- a/src/Pure/Tools/check_source.scala	Sun Feb 14 11:52:27 2016 +0100
+++ b/src/Pure/Tools/check_source.scala	Sun Feb 14 12:03:32 2016 +0100
@@ -41,9 +41,9 @@
   def check_hg(root: Path)
   {
     Output.writeln("Checking " + root + " ...")
-    Isabelle_System.hg("--repository " + File.shell_path(root) + " root").check_error
+    Isabelle_System.hg("--repository " + File.shell_path(root) + " root").check
     for {
-      file <- Isabelle_System.hg("manifest", root).check_error.out_lines
+      file <- Isabelle_System.hg("manifest", root).check.out_lines
       if file.endsWith(".thy") || file.endsWith(".ML") || file.endsWith("/ROOT")
     } check_file(root + Path.explode(file))
   }