--- a/src/Pure/Isar/parse.ML Sun May 16 00:02:11 2010 +0200
+++ b/src/Pure/Isar/parse.ML Mon May 17 10:20:55 2010 +0200
@@ -341,6 +341,3 @@
type 'a parser = 'a Parse.parser;
type 'a context_parser = 'a Parse.context_parser;
-(*legacy alias*)
-structure OuterParse = Parse;
-