diff options
Diffstat (limited to 'testsuite/tests/ghci/scripts/all.T')
| -rw-r--r-- | testsuite/tests/ghci/scripts/all.T | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/ghci/scripts/all.T b/testsuite/tests/ghci/scripts/all.T index f3ddbffc6a..5be5582df0 100644 --- a/testsuite/tests/ghci/scripts/all.T +++ b/testsuite/tests/ghci/scripts/all.T @@ -75,3 +75,4 @@ test('T4316', reqlib('mtl'), ghci_script, ['T4316.script']) test('T4832', normal, ghci_script, ['T4832.script']) test('T5045', normal, ghci_script, ['T5045.script']) test('T5130', normal, ghci_script, ['T5130.script']) +test('T5417', normal, ghci_script, ['T5417.script']) |