src/Pure/General/sha1.scala

--- a/src/Pure/General/sha1.scala	Thu Oct 04 10:55:36 2012 +0200
+++ b/src/Pure/General/sha1.scala	Thu Oct 04 11:07:36 2012 +0200
@@ -48,8 +48,6 @@
     make_result(digest)
   }
 
-  def digest(path: Path): Digest = digest(path.file)
-
   def digest(bytes: Array[Byte]): Digest =
   {
     val digest = MessageDigest.getInstance("SHA")