Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/code.ML
changeset 30357 77c3f2135a0f
parent 30242 aea5d7fa7ef5
child 30513 1796b8ea88aa 
--- a/src/Pure/Isar/code.ML	Sun Mar 08 12:15:58 2009 +0100
+++ b/src/Pure/Isar/code.ML	Sun Mar 08 12:16:12 2009 +0100
@@ -416,12 +416,12 @@
       Pretty.block [
         Pretty.str "preprocessing simpset:",
         Pretty.fbrk,
-        Simplifier.pretty_ss pre
+        Simplifier.pretty_ss ctxt pre
       ],
       Pretty.block [
         Pretty.str "postprocessing simpset:",
         Pretty.fbrk,
-        Simplifier.pretty_ss post
+        Simplifier.pretty_ss ctxt post
       ],
       Pretty.block (
         Pretty.str "function transformers:"
isabelle