src/Pure/System/isabelle_process.scala
changeset 43780 2cb2310d68b6
parent 43748 c70bd78ec83c
child 44697 b99dfee76538
     1.1 --- a/src/Pure/System/isabelle_process.scala	Tue Jul 12 18:00:05 2011 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Tue Jul 12 19:36:46 2011 +0200
     1.3 @@ -46,7 +46,7 @@
     1.4    class Result(val message: XML.Elem) extends Message
     1.5    {
     1.6      def kind: String = message.markup.name
     1.7 -    def properties: XML.Attributes = message.markup.properties
     1.8 +    def properties: Properties.T = message.markup.properties
     1.9      def body: XML.Body = message.body
    1.10  
    1.11      def is_init = kind == Markup.INIT
    1.12 @@ -95,7 +95,7 @@
    1.13  
    1.14    private val xml_cache = new XML.Cache()
    1.15  
    1.16 -  private def put_result(kind: String, props: List[(String, String)], body: XML.Body)
    1.17 +  private def put_result(kind: String, props: Properties.T, body: XML.Body)
    1.18    {
    1.19      if (kind == Markup.INIT) rm_fifos()
    1.20      if (kind == Markup.RAW)