tuned whitespace;
authorwenzelm
Sun Feb 14 13:38:31 2016 +0100 (2016-02-14)
changeset 6230996c9a259d275
parent 62308 9b9547c9a6ed
child 62310 ab836dc7410e
tuned whitespace;
src/Pure/System/isabelle_process.scala
     1.1 --- a/src/Pure/System/isabelle_process.scala	Sun Feb 14 13:23:12 2016 +0100
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Sun Feb 14 13:38:31 2016 +0100
     1.3 @@ -35,8 +35,7 @@
     1.4      system_channel: System_Channel,
     1.5      system_process: Prover.System_Process)
     1.6    extends Prover(receiver, system_channel, system_process)
     1.7 -  {
     1.8 -    def encode(s: String): String = Symbol.encode(s)
     1.9 -    def decode(s: String): String = Symbol.decode(s)
    1.10 -  }
    1.11 -
    1.12 +{
    1.13 +  def encode(s: String): String = Symbol.encode(s)
    1.14 +  def decode(s: String): String = Symbol.decode(s)
    1.15 +}