src/Pure/Isar/value_parse.ML

--- a/src/Pure/Isar/value_parse.ML	Fri Mar 13 21:24:21 2009 +0100
+++ b/src/Pure/Isar/value_parse.ML	Fri Mar 13 21:25:15 2009 +0100
@@ -6,7 +6,6 @@
 
 signature VALUE_PARSE =
 sig
-  type 'a parser = 'a OuterParse.parser
   val comma: 'a parser -> 'a parser
   val equal: 'a parser -> 'a parser
   val parens: 'a parser -> 'a parser
@@ -20,7 +19,6 @@
 struct
 
 structure P = OuterParse;
-type 'a parser = 'a P.parser;
 
 
 (* syntax utilities *)