diff options
Diffstat (limited to 'testsuite/tests/lib-threads/pr4466.ml')
-rw-r--r-- | testsuite/tests/lib-threads/pr4466.ml | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/testsuite/tests/lib-threads/pr4466.ml b/testsuite/tests/lib-threads/pr4466.ml index 8b53539ded..1e0e36a72c 100644 --- a/testsuite/tests/lib-threads/pr4466.ml +++ b/testsuite/tests/lib-threads/pr4466.ml @@ -1,8 +1,7 @@ (* TEST - -* hassysthreads - include systhreads -** native + include systhreads; + hassysthreads; + native; *) open Printf |