diff options
| -rw-r--r-- | test/files/run/retclosure.check (renamed from test/pending/run/retclosure.check) | 0 | ||||
| -rw-r--r-- | test/pending/run/unapply.flags | 1 |
2 files changed, 0 insertions, 1 deletions
diff --git a/test/pending/run/retclosure.check b/test/files/run/retclosure.check index 94c4971e4a..94c4971e4a 100644 --- a/test/pending/run/retclosure.check +++ b/test/files/run/retclosure.check diff --git a/test/pending/run/unapply.flags b/test/pending/run/unapply.flags deleted file mode 100644 index 16fd6c4f1f..0000000000 --- a/test/pending/run/unapply.flags +++ /dev/null @@ -1 +0,0 @@ --Xunapply |