src/Pure/System/isabelle_process.scala
changeset 44733 329320fc88df
parent 44732 c58b69d888ac
child 44775 27930cf6f0f7
     1.1 --- a/src/Pure/System/isabelle_process.scala	Tue Sep 06 10:27:04 2011 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Tue Sep 06 11:18:19 2011 +0200
     1.3 @@ -33,7 +33,7 @@
     1.4        ('H' : Int) -> Markup.RAW)
     1.5    }
     1.6  
     1.7 -  abstract class Message
     1.8 +  sealed abstract class Message
     1.9  
    1.10    class Input(name: String, args: List[String]) extends Message
    1.11    {