src/Pure/System/bash.scala

                 },
               env =
                 Isabelle_System.settings(
                   XML.Decode.list(XML.Decode.pair(XML.Decode.string, XML.Decode.string))(
                     YXML.parse_body(putenv))),
-              redirect= redirect)
+              redirect = redirect)
           }
           match {
             case Exn.Exn(exn) => reply_failure(exn)
             case Exn.Res(process) =>
               _processes.change(processes => processes + (uuid -> process))