diff options
Diffstat (limited to 'tests/pending/run/macro-term-declared-in-default-param.check')
| -rw-r--r-- | tests/pending/run/macro-term-declared-in-default-param.check | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/tests/pending/run/macro-term-declared-in-default-param.check b/tests/pending/run/macro-term-declared-in-default-param.check deleted file mode 100644 index 6decd7aa4..000000000 --- a/tests/pending/run/macro-term-declared-in-default-param.check +++ /dev/null @@ -1,5 +0,0 @@ -prefix = Expr[Nothing](<empty>) -it works -it works -prefix = Expr[Nothing](<empty>) -it works |