# HG changeset patch
# User wenzelm
# Date 1262028249 -3600
# Node ID ca5f522fa233d6448f69263c5438c5a0e01938d5
# Parent  1e40a1009ac1999fe10f7fbed97007050cb7b51b
tuned;

diff -r 1e40a1009ac1 -r ca5f522fa233 src/Pure/System/isabelle_system.scala
--- a/src/Pure/System/isabelle_system.scala	Mon Dec 28 20:01:43 2009 +0100
+++ b/src/Pure/System/isabelle_system.scala	Mon Dec 28 20:24:09 2009 +0100
@@ -398,11 +398,11 @@
 
   def isabelle_tool(name: String, args: String*): (String, Int) =
   {
-    getenv_strict("ISABELLE_TOOLS").split(":").find(dir => {
+    getenv_strict("ISABELLE_TOOLS").split(":").find { dir =>
       val file = platform_file(dir + "/" + name)
       try { file.isFile && file.canRead && file.canExecute }
       catch { case _: SecurityException => false }
-    }) match {
+    } match {
       case Some(dir) =>
         Isabelle_System.process_output(
           execute(true, (List(expand_path(dir + "/" + name)) ++ args): _*))