fixed Isabelle/Scala build (cf. f3220ef79d51);
authorwenzelm
Sun Aug 15 13:17:45 2010 +0200 (2010-08-15)
changeset 3841656e76cd46b4f
parent 38415 f3220ef79d51
child 38417 b8922ae21111
child 38431 c14a46526697
fixed Isabelle/Scala build (cf. f3220ef79d51);
src/Pure/System/session.scala
     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