diff --git a/testsuite/tests/rts/T13287/all.T b/testsuite/tests/rts/T13287/all.T index b492a6ed0be70e2d3477ed572a324f0be6f2adfa..e7a82897695edf454e6ea1aeebfa64af03163dba 100644 --- a/testsuite/tests/rts/T13287/all.T +++ b/testsuite/tests/rts/T13287/all.T @@ -1,4 +1,4 @@ -# Ensure that RTS flags past -- get ignored - -test('T13287', [extra_run_opts('a1 +RTS -RTS -- a2 +RTS -RTS a3'), omit_ghci], compile_and_run, ['']) - +# Ensure that RTS flags past -- get ignored + +test('T13287', [extra_run_opts('a1 +RTS -RTS -- a2 +RTS -RTS a3'), omit_ghci], compile_and_run, ['']) +