author | wenzelm |
Sat, 13 Aug 2016 23:33:58 +0200 | |
changeset 63687 | 1134ee401b20 |
parent 63686 | 66f217416da7 |
child 63688 | cc57255bf6ae |
--- a/src/Pure/System/isabelle_system.scala Sat Aug 13 12:06:11 2016 +0200 +++ b/src/Pure/System/isabelle_system.scala Sat Aug 13 23:33:58 2016 +0200 @@ -191,7 +191,7 @@ File.platform_file(path) } - def tmp_file[A](name: String, ext: String = ""): JFile = + def tmp_file(name: String, ext: String = ""): JFile = { val suffix = if (ext == "") "" else "." + ext val file = Files.createTempFile(isabelle_tmp_prefix().toPath, name, suffix).toFile