src/Pure/System/bash.scala
changeset 63996 3f47fec9edfc
parent 63805 c272680df665
child 64304 96bc94c87a81
--- a/src/Pure/System/bash.scala	Sun Oct 02 17:05:48 2016 +0200
+++ b/src/Pure/System/bash.scala	Sun Oct 02 19:36:57 2016 +0200
@@ -33,7 +33,7 @@
       cleanup: () => Unit = () => ()): Process =
     new Process(script, cwd, env, redirect, cleanup)
 
-  class Process private [Bash](
+  class Process private[Bash](
       script: String,
       cwd: JFile,
       env: Map[String, String],