diff options
Diffstat (limited to 'testsuite/tests/ghci/should_run/all.T')
| -rw-r--r-- | testsuite/tests/ghci/should_run/all.T | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/ghci/should_run/all.T b/testsuite/tests/ghci/should_run/all.T index 930f14b7a1..08fe33d166 100644 --- a/testsuite/tests/ghci/should_run/all.T +++ b/testsuite/tests/ghci/should_run/all.T @@ -23,3 +23,4 @@ test('T9915', just_ghci, ghci_script, ['T9915.script']) test('T10145', just_ghci, ghci_script, ['T10145.script']) test('T7253', just_ghci, ghci_script, ['T7253.script']) test('T11328', just_ghci, ghci_script, ['T11328.script']) +test('T11825', just_ghci, ghci_script, ['T11825.script']) |