--- a/src/Pure/General/ssh.scala Tue Sep 13 10:44:47 2022 +0200
+++ b/src/Pure/General/ssh.scala Tue Sep 13 11:56:38 2022 +0200
@@ -98,7 +98,7 @@
val port: Int,
val user: String,
control_master: Boolean,
- control_path: String
+ val control_path: String
) extends System {
ssh =>