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