diff options
Diffstat (limited to 'testsuite/tests/win-unicode/mltest.ml')
-rw-r--r-- | testsuite/tests/win-unicode/mltest.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testsuite/tests/win-unicode/mltest.ml b/testsuite/tests/win-unicode/mltest.ml index f4760967bb..0ea18c6232 100644 --- a/testsuite/tests/win-unicode/mltest.ml +++ b/testsuite/tests/win-unicode/mltest.ml @@ -1,8 +1,8 @@ (* TEST -include unix -flags += "-strict-sequence -w +A -warn-error +A" -* windows-unicode -** toplevel + include unix; + flags += "-strict-sequence -w +A -warn-error +A"; + windows-unicode; + toplevel; *) let foreign_names = |