--- a/src/Tools/quickcheck.ML Sat Jan 08 16:01:51 2011 +0100
+++ b/src/Tools/quickcheck.ML Sat Jan 08 17:14:48 2011 +0100
@@ -93,9 +93,10 @@
fun map_test_params' f (Test_Params {default_type, expect}) = make_test_params (f (default_type, expect));
fun merge_test_params
- (Test_Params {default_type = default_type1, expect = expect1},
- Test_Params {default_type = default_type2, expect = expect2}) =
- make_test_params (merge (op =) (default_type1, default_type2), merge_expectation (expect1, expect2));
+ (Test_Params {default_type = default_type1, expect = expect1},
+ Test_Params {default_type = default_type2, expect = expect2}) =
+ make_test_params
+ (merge (op =) (default_type1, default_type2), merge_expectation (expect1, expect2));
structure Data = Generic_Data
(