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")