--- a/src/Pure/System/session.scala Sat May 15 21:57:27 2010 +0200
+++ b/src/Pure/System/session.scala Sat May 15 22:05:49 2010 +0200
@@ -140,8 +140,8 @@
}
// keyword declarations
- case List(Outer_Keyword.Command_Decl(name, kind)) => syntax += (name, kind)
- case List(Outer_Keyword.Keyword_Decl(name)) => syntax += name
+ case List(Keyword.Command_Decl(name, kind)) => syntax += (name, kind)
+ case List(Keyword.Keyword_Decl(name)) => syntax += name
case _ => if (!result.is_ready) bad_result(result)
}