src/HOL/Tools/Nitpick/nitpick_mono.ML
changeset 46085 447cda88adfe
parent 46083 efeaa79f021b
child 47433 07f4bf913230
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_mono.ML	Tue Jan 03 18:33:17 2012 +0100
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_mono.ML	Tue Jan 03 18:33:17 2012 +0100
     1.3 @@ -845,7 +845,7 @@
     1.4              | @{const_name fst} => do_nth_pair_sel 0 T accum
     1.5              | @{const_name snd} => do_nth_pair_sel 1 T accum
     1.6              | @{const_name Id} =>
     1.7 -              (MFun (mtype_for (domain_type T), A Gen, bool_M), accum)
     1.8 +              (MFun (mtype_for (elem_type T), A Gen, bool_M), accum)
     1.9              | @{const_name converse} =>
    1.10                let
    1.11                  val x = Unsynchronized.inc max_fresh