src/Pure/PIDE/document.scala
changeset 46684 7f741b2c82a3
parent 46683 fb160aa7a9a8
child 46712 8650d9a95736
     1.1 --- a/src/Pure/PIDE/document.scala	Sun Feb 26 18:19:44 2012 +0100
     1.2 +++ b/src/Pure/PIDE/document.scala	Sun Feb 26 18:25:28 2012 +0100
     1.3 @@ -307,7 +307,7 @@
     1.4        State().define_version(Version.init, Assignment.init).assign(Version.init.id)._2
     1.5    }
     1.6  
     1.7 -  sealed case class State(
     1.8 +  sealed case class State private(
     1.9      val versions: Map[Version_ID, Version] = Map.empty,
    1.10      val commands: Map[Command_ID, Command.State] = Map.empty,  // static markup from define_command
    1.11      val execs: Map[Exec_ID, Command.State] = Map.empty,  // dynamic markup from execution