# HG changeset patch
# User wenzelm
# Date 1471124038 -7200
# Node ID 1134ee401b204374bf34afa1b2b45f8cc6cb258b
# Parent  66f217416da7ef745011c5e0ee3d2899b9b5cc9b
tuned;

diff -r 66f217416da7 -r 1134ee401b20 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