src/Pure/General/file.scala

 
 
   /* space */
 
   def space(path: Path): Space =
-    Space.bytes(path.file.length)
+    Space.bytes(check_file(path).file.length)
 }