src/Pure/Tools/build.scala
changeset 60991 2fc5a44346b5
parent 60988 1d7a7e33fd67
child 60992 89effcb342df
     1.1 --- a/src/Pure/Tools/build.scala	Thu Aug 20 19:33:26 2015 +0200
     1.2 +++ b/src/Pure/Tools/build.scala	Thu Aug 20 20:36:06 2015 +0200
     1.3 @@ -653,7 +653,7 @@
     1.4        else None
     1.5      }
     1.6  
     1.7 -    def join: Isabelle_System.Bash_Result =
     1.8 +    def join: Bash.Result =
     1.9      {
    1.10        val res = result.join
    1.11