diff -r 47c1e6b0886f -r e022a69db531 src/Pure/General/file.scala
--- a/src/Pure/General/file.scala	Wed Dec 28 23:42:35 2016 +0100
+++ b/src/Pure/General/file.scala	Thu Dec 29 14:43:25 2016 +0100
@@ -1,7 +1,7 @@
 /*  Title:      Pure/General/file.scala
     Author:     Makarius
 
-File system operations.
+File-system operations.
 */
 
 package isabelle