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_mono.ML
changeset 46085 447cda88adfe
parent 46083 efeaa79f021b
child 47433 07f4bf913230 
--- a/src/HOL/Tools/Nitpick/nitpick_mono.ML	Tue Jan 03 18:33:17 2012 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_mono.ML	Tue Jan 03 18:33:17 2012 +0100
@@ -845,7 +845,7 @@
             | @{const_name fst} => do_nth_pair_sel 0 T accum
             | @{const_name snd} => do_nth_pair_sel 1 T accum
             | @{const_name Id} =>
-              (MFun (mtype_for (domain_type T), A Gen, bool_M), accum)
+              (MFun (mtype_for (elem_type T), A Gen, bool_M), accum)
             | @{const_name converse} =>
               let
                 val x = Unsynchronized.inc max_fresh
isabelle