src/Pure/General/sha1.scala
changeset 48409 0d2114eb412a
parent 48343 3060e6343953
child 48423 0ccf143a2a69
     1.1 --- a/src/Pure/General/sha1.scala	Fri Jul 20 21:05:47 2012 +0200
     1.2 +++ b/src/Pure/General/sha1.scala	Fri Jul 20 22:29:25 2012 +0200
     1.3 @@ -8,7 +8,7 @@
     1.4  package isabelle
     1.5  
     1.6  
     1.7 -import java.io.{File, FileInputStream}
     1.8 +import java.io.{File => JFile, FileInputStream}
     1.9  import java.security.MessageDigest
    1.10  
    1.11  
    1.12 @@ -30,7 +30,7 @@
    1.13      Digest(result.toString)
    1.14    }
    1.15  
    1.16 -  def digest(file: File): Digest =
    1.17 +  def digest(file: JFile): Digest =
    1.18    {
    1.19      val stream = new FileInputStream(file)
    1.20      val digest = MessageDigest.getInstance("SHA")