src/Tools/quickcheck.ML
changeset 41472 f6ab14e61604
parent 41086 b4cccce25d9a
child 41517 7267fb5b724b
--- 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
 (