# HG changeset patch
# User wenzelm
# Date 1455453511 -3600
# Node ID 96c9a259d27531121c8ea3225d36163ef7fae47c
# Parent  9b9547c9a6edb697dab0a023fe993d2c3d8aaf8f
tuned whitespace;

diff -r 9b9547c9a6ed -r 96c9a259d275 src/Pure/System/isabelle_process.scala
--- 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)
+}