diff options
Diffstat (limited to 'testsuite/tests/typing-short-paths/gpr1223.ml')
| -rw-r--r-- | testsuite/tests/typing-short-paths/gpr1223.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testsuite/tests/typing-short-paths/gpr1223.ml b/testsuite/tests/typing-short-paths/gpr1223.ml index 9e66dfb90e..2a631f34e3 100644 --- a/testsuite/tests/typing-short-paths/gpr1223.ml +++ b/testsuite/tests/typing-short-paths/gpr1223.ml @@ -1,7 +1,7 @@ (* TEST - flags = " -short-paths " - modules = "gpr1223_foo.mli gpr1223_bar.mli" - * toplevel + flags = " -short-paths "; + modules = "gpr1223_foo.mli gpr1223_bar.mli"; + toplevel; *) let y = Gpr1223_bar.N.O.T;; |