1.1 --- a/src/Pure/Isar/code.ML Sun Mar 08 12:15:58 2009 +0100
1.2 +++ b/src/Pure/Isar/code.ML Sun Mar 08 12:16:12 2009 +0100
1.3 @@ -416,12 +416,12 @@
1.4 Pretty.block [
1.5 Pretty.str "preprocessing simpset:",
1.6 Pretty.fbrk,
1.7 - Simplifier.pretty_ss pre
1.8 + Simplifier.pretty_ss ctxt pre
1.9 ],
1.10 Pretty.block [
1.11 Pretty.str "postprocessing simpset:",
1.12 Pretty.fbrk,
1.13 - Simplifier.pretty_ss post
1.14 + Simplifier.pretty_ss ctxt post
1.15 ],
1.16 Pretty.block (
1.17 Pretty.str "function transformers:"