--- a/src/Pure/System/isabelle_process.scala Sun Feb 14 13:23:12 2016 +0100
+++ b/src/Pure/System/isabelle_process.scala Sun Feb 14 13:38:31 2016 +0100
@@ -35,8 +35,7 @@
system_channel: System_Channel,
system_process: Prover.System_Process)
extends Prover(receiver, system_channel, system_process)
- {
- def encode(s: String): String = Symbol.encode(s)
- def decode(s: String): String = Symbol.decode(s)
- }
-
+{
+ def encode(s: String): String = Symbol.encode(s)
+ def decode(s: String): String = Symbol.decode(s)
+}