diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/pending/pos/bug3420.flags (renamed from test/files/pos/bug3420.flags) | 0 | ||||
-rw-r--r-- | test/pending/pos/bug3420.scala (renamed from test/files/pos/bug3420.scala) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/test/files/pos/bug3420.flags b/test/pending/pos/bug3420.flags index ea03113c66..ea03113c66 100644 --- a/test/files/pos/bug3420.flags +++ b/test/pending/pos/bug3420.flags diff --git a/test/files/pos/bug3420.scala b/test/pending/pos/bug3420.scala index 0fc56ed67b..0fc56ed67b 100644 --- a/test/files/pos/bug3420.scala +++ b/test/pending/pos/bug3420.scala |