# HG changeset patch
# User wenzelm
# Date 1281871065 -7200
# Node ID 56e76cd46b4f64f3b765181d5021f0e33dea4062
# Parent  f3220ef79d51164e8856420b3d44b571d92d8569
fixed Isabelle/Scala build (cf. f3220ef79d51);

diff -r f3220ef79d51 -r 56e76cd46b4f src/Pure/System/session.scala
--- a/src/Pure/System/session.scala	Sat Aug 14 23:01:53 2010 +0200
+++ b/src/Pure/System/session.scala	Sun Aug 15 13:17:45 2010 +0200
@@ -318,7 +318,7 @@
           state_snapshot.lookup_command(id)
         def state(command: Command): Command.State =
           try { state_snapshot.command_state(document, command) }
-          catch { case _: State.Fail => command.empty_state }
+          catch { case _: Document.State.Fail => command.empty_state }
       }
     }