diff options
Diffstat (limited to 'testsuite/tests/ghc-api/annotations/all.T')
| -rw-r--r-- | testsuite/tests/ghc-api/annotations/all.T | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/testsuite/tests/ghc-api/annotations/all.T b/testsuite/tests/ghc-api/annotations/all.T index fbe8c3e35f..1028626575 100644 --- a/testsuite/tests/ghc-api/annotations/all.T +++ b/testsuite/tests/ghc-api/annotations/all.T @@ -27,3 +27,4 @@ test('T11332', ignore_stderr, run_command, ['$MAKE -s --no-print-directory test('T11430', ignore_stderr, run_command, ['$MAKE -s --no-print-directory T11430']) test('load-main', ignore_stderr, run_command, ['$MAKE -s --no-print-directory load-main']) test('T12417', ignore_stderr, run_command, ['$MAKE -s --no-print-directory T12417']) +test('T13163', ignore_stderr, run_command, ['$MAKE -s --no-print-directory T13163']) |