diff options
Diffstat (limited to 'testsuite/tests/lib-bigarray-file/mapfile.ml')
| -rw-r--r-- | testsuite/tests/lib-bigarray-file/mapfile.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/lib-bigarray-file/mapfile.ml b/testsuite/tests/lib-bigarray-file/mapfile.ml index a359cd1bcc..f4008b7d8f 100644 --- a/testsuite/tests/lib-bigarray-file/mapfile.ml +++ b/testsuite/tests/lib-bigarray-file/mapfile.ml @@ -1,7 +1,7 @@ (* TEST - * hasunix - include unix - ** native + include unix; + hasunix; + native; *) open Bigarray |