diff options
Diffstat (limited to 'testsuite/tests/typing-short-paths/pr7543.ml')
-rw-r--r-- | testsuite/tests/typing-short-paths/pr7543.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/typing-short-paths/pr7543.ml b/testsuite/tests/typing-short-paths/pr7543.ml index abe5d5306b..3dc33fb4c7 100644 --- a/testsuite/tests/typing-short-paths/pr7543.ml +++ b/testsuite/tests/typing-short-paths/pr7543.ml @@ -1,6 +1,6 @@ (* TEST - flags = " -short-paths " - * toplevel + flags = " -short-paths "; + toplevel; *) (** Test that short-path printtyp does not fail on packed module. |