src/Pure/Syntax/syntax.ML
changeset 51580 64ef8260dc60
parent 50201 c26369c9eda6
child 51612 6a1e40f9dd55
     1.1 --- a/src/Pure/Syntax/syntax.ML	Fri Mar 29 22:13:02 2013 +0100
     1.2 +++ b/src/Pure/Syntax/syntax.ML	Fri Mar 29 22:14:27 2013 +0100
     1.3 @@ -571,7 +571,7 @@
     1.4        pretty_strs_qs name (sort_strings (Symtab.keys tab));
     1.5  
     1.6      fun pretty_ruletab name tab =
     1.7 -      Pretty.big_list name (map Ast.pretty_rule (dest_ruletab tab));
     1.8 +      Pretty.big_list name (map (Pretty.item o single o Ast.pretty_rule) (dest_ruletab tab));
     1.9  
    1.10      val {consts, parse_ast_trtab, parse_ruletab, parse_trtab, print_trtab,
    1.11        print_ruletab, print_ast_trtab, ...} = tabs;