changeset 38662 | 56e76cd46b4f |
parent 38661 | f3220ef79d51 |
child 38676 | b8922ae21111 |
1.1 --- a/src/Pure/System/session.scala Sat Aug 14 23:01:53 2010 +0200 1.2 +++ b/src/Pure/System/session.scala Sun Aug 15 13:17:45 2010 +0200 1.3 @@ -318,7 +318,7 @@ 1.4 state_snapshot.lookup_command(id) 1.5 def state(command: Command): Command.State = 1.6 try { state_snapshot.command_state(document, command) } 1.7 - catch { case _: State.Fail => command.empty_state } 1.8 + catch { case _: Document.State.Fail => command.empty_state } 1.9 } 1.10 } 1.11