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_nut.ML
changeset 58634 9f10d82e8188
parent 56245 84fc7dfa3cd4
child 59038 e50f1973cb0a 
--- a/src/HOL/Tools/Nitpick/nitpick_nut.ML	Wed Oct 08 14:34:30 2014 +0200
+++ b/src/HOL/Tools/Nitpick/nitpick_nut.ML	Wed Oct 08 17:09:07 2014 +0200
@@ -1151,7 +1151,7 @@
                                             (j :: js, pool)
                                           end)
                                 ([], pool)
-        val ws' = map3 (fn j => fn x => fn T =>
+        val ws' = @{map 3} (fn j => fn x => fn T =>
                            constr ((1, j), T, Atom x,
                                    nick ^ " [" ^ string_of_int j ^ "]"))
                        (rev js) atom_schema type_schema
isabelle