| changeset 82864 | 2703f19d323e |
| parent 82850 | 3020b1660bec |
| child 82868 | c2a88a1cd07d |
--- a/src/Pure/Isar/context_rules.ML Mon Jul 14 10:57:46 2025 +0200 +++ b/src/Pure/Isar/context_rules.ML Mon Jul 14 11:18:10 2025 +0200 @@ -113,7 +113,7 @@ fun print_rules ctxt = let val Rules {decls, ...} = Data.get (Context.Proof ctxt) - in Pretty.writeln (Pretty.chunks (Bires.pretty_decls ctxt Bires.kind_domain decls)) end; + in Pretty.writeln (Pretty.chunks (Bires.pretty_decls ctxt decls)) end; (* access data *)