src/HOL/Tools/quickcheck_generators.ML

--- a/src/HOL/Tools/quickcheck_generators.ML	Sat Mar 20 02:23:41 2010 +0100
+++ b/src/HOL/Tools/quickcheck_generators.ML	Sat Mar 20 17:33:11 2010 +0100
@@ -316,7 +316,7 @@
 fun perhaps_constrain thy insts raw_vs =
   let
     fun meet_random (T, sort) = Sorts.meet_sort (Sign.classes_of thy) 
-      (Logic.varifyT T, sort);
+      (Logic.varifyT_global T, sort);
     val vtab = Vartab.empty
       |> fold (fn (v, sort) => Vartab.update ((v, 0), sort)) raw_vs
       |> fold meet_random insts;