src/HOL/Tools/Nitpick/nitpick_mono.ML
changeset 47433 07f4bf913230
parent 46085 447cda88adfe
child 54816 10d48c2a3e32
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_mono.ML	Tue Apr 03 08:55:06 2012 +0200
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_mono.ML	Tue Apr 03 17:26:30 2012 +0900
     1.3 @@ -856,7 +856,7 @@
     1.4                   accum ||> add_annotation_atom_comp Neq [] (V x) (A New))
     1.5                end
     1.6              | @{const_name trancl} => do_fragile_set_operation T accum
     1.7 -            | @{const_name rel_comp} =>
     1.8 +            | @{const_name relcomp} =>
     1.9                let
    1.10                  val x = Unsynchronized.inc max_fresh
    1.11                  val bc_set_M = domain_type T |> mtype_for_set x