src/HOL/Tools/Nitpick/nitpick_model.ML

   | mk_tuple _ (t :: _) = t
   | mk_tuple T [] = raise TYPE ("Nitpick_Model.mk_tuple", [T], [])
 
 (* 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
    -> term list *)
 fun all_values_of_type pool wacky_names (scope as {card_assigns, ...} : scope)