--- a/src/HOL/Tools/Nitpick/nitpick_model.ML Sat Mar 20 02:23:41 2010 +0100
+++ b/src/HOL/Tools/Nitpick/nitpick_model.ML Sat Mar 20 17:33:11 2010 +0100
@@ -326,7 +326,7 @@
(* theory -> typ * typ -> bool *)
fun varified_type_match thy (candid_T, pat_T) =
- strict_type_match thy (candid_T, Logic.varifyT pat_T)
+ strict_type_match thy (candid_T, Logic.varifyT_global pat_T)
(* atom_pool -> (string * string) * (string * string) -> scope -> nut list
-> nut list -> nut list -> nut NameTable.table -> KK.raw_bound list -> typ