src/Pure/Isar/outer_parse.ML
changeset 21314 6d709b9bea1a
parent 20983 d4500b9b220e
child 21371 6717630f080b
     1.1 --- a/src/Pure/Isar/outer_parse.ML	Sun Nov 12 21:14:49 2006 +0100
     1.2 +++ b/src/Pure/Isar/outer_parse.ML	Sun Nov 12 21:14:51 2006 +0100
     1.3 @@ -222,10 +222,7 @@
     1.4  
     1.5  val sort = group "sort" xname;
     1.6  
     1.7 -fun gen_arity cod =
     1.8 -  Scan.optional ($$$ "(" |-- !!! (list1 sort --| $$$ ")")) [] -- cod;
     1.9 -
    1.10 -val arity = gen_arity sort;
    1.11 +val arity = Scan.optional ($$$ "(" |-- !!! (list1 sort --| $$$ ")")) [] -- sort;
    1.12  
    1.13  
    1.14  (* types *)