src/Pure/System/isabelle_process.scala
changeset 43695 5130dfe1b7be
parent 43661 39fdbd814c7f
child 43721 fad8634cee62
     1.1 --- a/src/Pure/System/isabelle_process.scala	Wed Jul 06 23:11:59 2011 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Thu Jul 07 13:48:30 2011 +0200
     1.3 @@ -92,7 +92,7 @@
     1.4  
     1.5    private def put_result(kind: String, text: String)
     1.6    {
     1.7 -    put_result(kind, Nil, List(XML.Text(Isabelle_System.symbols.decode(text))))
     1.8 +    put_result(kind, Nil, List(XML.Text(Symbol.decode(text))))
     1.9    }
    1.10  
    1.11  
    1.12 @@ -341,7 +341,7 @@
    1.13  
    1.14          if (i != n) throw new Protocol_Error("bad message chunk content")
    1.15  
    1.16 -        YXML.parse_body_failsafe(YXML.decode_chars(Isabelle_System.symbols.decode, buf, 0, n))
    1.17 +        YXML.parse_body_failsafe(YXML.decode_chars(Symbol.decode, buf, 0, n))
    1.18          //}}}
    1.19        }
    1.20