1.1 --- a/src/Tools/quickcheck.ML	Fri Apr 06 12:45:56 2012 +0200
     1.2 +++ b/src/Tools/quickcheck.ML	Fri Apr 06 13:10:45 2012 +0200
     1.3 @@ -343,7 +343,7 @@
     1.4      val cs = space_explode " " s
     1.5    in
     1.6      if forall (fn c => c = "expand" orelse c = "interpret") cs then cs
     1.7 -    else (Output.warning ("Invalid quickcheck_locale setting: falling back to the default setting.");
     1.8 +    else (warning ("Invalid quickcheck_locale setting: falling back to the default setting.");
     1.9        ["interpret", "expand"])
    1.10    end
    1.11