--- a/src/Tools/jEdit/src/proofdocument/proof_document.scala Wed Dec 30 18:22:10 2009 +0100
+++ b/src/Tools/jEdit/src/proofdocument/proof_document.scala Wed Dec 30 19:58:22 2009 +0100
@@ -42,7 +42,7 @@
val tokens: Linear_Set[Token], // FIXME plain List, inside Command
val token_start: Map[Token, Int], // FIXME eliminate
val commands: Linear_Set[Command],
- var states: Map[Command, Command_State]) // FIXME immutable, eliminate!?
+ var states: Map[Command, Command]) // FIXME immutable, eliminate!?
{
import Proof_Document.StructureChange