diff options
Diffstat (limited to 'testsuite/tests/typing-multifile/pr9218.ml')
| -rw-r--r-- | testsuite/tests/typing-multifile/pr9218.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/typing-multifile/pr9218.ml b/testsuite/tests/typing-multifile/pr9218.ml index 3c025aff37..c2fb461a98 100644 --- a/testsuite/tests/typing-multifile/pr9218.ml +++ b/testsuite/tests/typing-multifile/pr9218.ml @@ -1,7 +1,7 @@ (* TEST - flags="-annot" - modules="a.ml" - *) + flags = "-annot"; + modules = "a.ml"; +*) (* Test interference between inline record path [a.A] and the [a.ml] compilation unit *) |