diff options
Diffstat (limited to 'tests/pending/run/macro-vampire-false-warning.check')
-rw-r--r-- | tests/pending/run/macro-vampire-false-warning.check | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tests/pending/run/macro-vampire-false-warning.check b/tests/pending/run/macro-vampire-false-warning.check deleted file mode 100644 index 4792e70f3..000000000 --- a/tests/pending/run/macro-vampire-false-warning.check +++ /dev/null @@ -1,2 +0,0 @@ -2 -3 |