Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/System/bash.scala
changeset 80271 198fc882ec0f
parent 80237 305d2f4a395f
child 80354 e5a6b3f1f377 
--- a/src/Pure/System/bash.scala	Thu Jun 06 21:48:36 2024 +0200
+++ b/src/Pure/System/bash.scala	Thu Jun 06 22:03:20 2024 +0200
@@ -378,7 +378,7 @@
                 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)
isabelle