diff options
Diffstat (limited to 'testsuite/tests/warnings/mnemonics.mll')
-rw-r--r-- | testsuite/tests/warnings/mnemonics.mll | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/testsuite/tests/warnings/mnemonics.mll b/testsuite/tests/warnings/mnemonics.mll index d1225ed0e3..3c6050b312 100644 --- a/testsuite/tests/warnings/mnemonics.mll +++ b/testsuite/tests/warnings/mnemonics.mll @@ -1,7 +1,5 @@ (* TEST - -ocamllex_flags = "-q" - + ocamllex_flags = "-q"; *) { |