--- 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): _*))