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/HOL/Tools/Nitpick/nitpick_isar.ML
changeset 33699 f33b036ef318
parent 33604 d4220df6fde2
child 33982 1ae222745c4a 
--- a/src/HOL/Tools/Nitpick/nitpick_isar.ML	Sun Nov 15 19:44:16 2009 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_isar.ML	Sun Nov 15 19:44:29 2009 +0100
@@ -137,7 +137,7 @@
   val empty = {params = rev default_default_params}
   val extend = I
   fun merge ({params = ps1}, {params = ps2}) : T =
-    {params = AList.merge (op =) (op =) (ps1, ps2)})
+    {params = AList.merge (op =) (K true) (ps1, ps2)})
 
 (* raw_param -> theory -> theory *)
 fun set_default_raw_param param thy =
isabelle