--- a/src/Pure/Admin/check_sources.scala Mon Mar 01 20:12:09 2021 +0100
+++ b/src/Pure/Admin/check_sources.scala Mon Mar 01 22:22:12 2021 +0100
@@ -9,7 +9,7 @@
object Check_Sources
{
- def check_file(path: Path)
+ def check_file(path: Path): Unit =
{
val file_name = path.implode
val file_pos = path.position
@@ -49,7 +49,7 @@
Output.warning("Bidirectional Unicode text" + Position.here(file_pos))
}
- def check_hg(root: Path)
+ def check_hg(root: Path): Unit =
{
Output.writeln("Checking " + root + " ...")
val hg = Mercurial.repository(root)