src/HOL/Tools/Nitpick/nitpick_mono.ML
changeset 37260 dde817e6dfb1
parent 37256 0dca1ec52999
child 37267 5c47d633c84d
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick_mono.ML	Tue Jun 01 11:58:50 2010 +0200
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick_mono.ML	Tue Jun 01 12:20:08 2010 +0200
     1.3 @@ -290,7 +290,7 @@
     1.4              end
     1.5          else
     1.6            MType (s, [])
     1.7 -      | _ => MType (Refute.string_of_typ T, [])
     1.8 +      | _ => MType (simple_string_of_typ T, [])
     1.9    in do_type end
    1.10  
    1.11  fun prodM_factors (MPair (M1, M2)) = maps prodM_factors [M1, M2]