src/Tools/quickcheck.ML
changeset 31599 97b4d289c646
parent 31153 6b31b143f18b
child 32297 3a4081abb3f7
     1.1 --- a/src/Tools/quickcheck.ML	Tue Jun 09 22:59:55 2009 +0200
     1.2 +++ b/src/Tools/quickcheck.ML	Tue Jun 09 22:59:55 2009 +0200
     1.3 @@ -42,13 +42,13 @@
     1.4  
     1.5  fun dest_test_params (Test_Params { size, iterations, default_type }) =
     1.6    ((size, iterations), default_type);
     1.7 -fun mk_test_params ((size, iterations), default_type) =
     1.8 +fun make_test_params ((size, iterations), default_type) =
     1.9    Test_Params { size = size, iterations = iterations, default_type = default_type };
    1.10  fun map_test_params f (Test_Params { size, iterations, default_type}) =
    1.11 -  mk_test_params (f ((size, iterations), default_type));
    1.12 +  make_test_params (f ((size, iterations), default_type));
    1.13  fun merge_test_params (Test_Params { size = size1, iterations = iterations1, default_type = default_type1 },
    1.14    Test_Params { size = size2, iterations = iterations2, default_type = default_type2 }) =
    1.15 -  mk_test_params ((Int.max (size1, size2), Int.max (iterations1, iterations2)),
    1.16 +  make_test_params ((Int.max (size1, size2), Int.max (iterations1, iterations2)),
    1.17      case default_type1 of NONE => default_type2 | _ => default_type1);
    1.18  
    1.19  structure Data = TheoryDataFun(