diff options
Diffstat (limited to 'testsuite/tests/lib-bigarray-2/bigarrcml.ml')
-rw-r--r-- | testsuite/tests/lib-bigarray-2/bigarrcml.ml | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/testsuite/tests/lib-bigarray-2/bigarrcml.ml b/testsuite/tests/lib-bigarray-2/bigarrcml.ml index 27f83ffae4..643fb86a9f 100644 --- a/testsuite/tests/lib-bigarray-2/bigarrcml.ml +++ b/testsuite/tests/lib-bigarray-2/bigarrcml.ml @@ -1,7 +1,5 @@ (* TEST - -modules = "bigarrcstub.c" - + modules = "bigarrcstub.c"; *) open Bigarray |