diff options
Diffstat (limited to 'testsuite/tests/parallel/recommended_domain_count.ml')
| -rw-r--r-- | testsuite/tests/parallel/recommended_domain_count.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/parallel/recommended_domain_count.ml b/testsuite/tests/parallel/recommended_domain_count.ml index 8aedeba202..ec08a2c457 100644 --- a/testsuite/tests/parallel/recommended_domain_count.ml +++ b/testsuite/tests/parallel/recommended_domain_count.ml @@ -1,5 +1,5 @@ (* TEST -modules = "recommended_domain_count_cstubs.c" + modules = "recommended_domain_count_cstubs.c"; *) external get_max_domains : unit -> int = "caml_get_max_domains" |