tuned;
authorwenzelm
Sat, 13 Aug 2016 23:33:58 +0200
changeset 63687 1134ee401b20
parent 63686 66f217416da7
child 63688 cc57255bf6ae
tuned;
src/Pure/System/isabelle_system.scala
--- 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