diff options
Diffstat (limited to 'testsuite/tests/basic-more/pr6216.ml')
-rw-r--r-- | testsuite/tests/basic-more/pr6216.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testsuite/tests/basic-more/pr6216.ml b/testsuite/tests/basic-more/pr6216.ml index 3f6b410993..89dba12f28 100644 --- a/testsuite/tests/basic-more/pr6216.ml +++ b/testsuite/tests/basic-more/pr6216.ml @@ -1,6 +1,6 @@ (* TEST - include testing - ocamlopt_flags ="-inline 20" + include testing; + ocamlopt_flags = "-inline 20"; *) (* PR6216: wrong inlining of GADT match *) |