| changeset 30573 | 49899f26fbd1 |
| parent 30514 | 9455ecc7796d |
| child 32091 | 30e2ffbba718 |
--- a/src/Pure/Isar/args.ML Wed Mar 18 20:03:01 2009 +0100 +++ b/src/Pure/Isar/args.ML Wed Mar 18 21:55:38 2009 +0100 @@ -32,7 +32,7 @@ val mode: string -> bool context_parser val maybe: 'a parser -> 'a option parser val name_source: string parser - val name_source_position: (SymbolPos.text * Position.T) parser + val name_source_position: (Symbol_Pos.text * Position.T) parser val name: string parser val binding: binding parser val alt_name: string parser