diff options
| -rw-r--r-- | test/files/run/lists.check | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/test/files/run/lists.check b/test/files/run/lists.check index 07efdff145..1da0075273 100644 --- a/test/files/run/lists.check +++ b/test/files/run/lists.check @@ -1,12 +1,12 @@ -test check_count was successful
-test check_diff was successful
-test check_exists was successful
-test check_filter was successful
-test check_foldLeft was successful
-test check_forall was successful
-test check_intersect was successful
-test check_remove was successful
-test check_union was successful
-test check_zip was successful
-test check_zipAll was successful
-
+test check_count was successful +test check_diff was successful +test check_exists was successful +test check_filter was successful +test check_foldLeft was successful +test check_forall was successful +test check_intersect was successful +test check_remove was successful +test check_union was successful +test check_zip was successful +test check_zipAll was successful + |