diff options
-rw-r--r-- | test/pending/pos/bug1357.scala (renamed from test/files/pos/bug1357.scala) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/test/files/pos/bug1357.scala b/test/pending/pos/bug1357.scala index fcdecb3ad3..fcdecb3ad3 100644 --- a/test/files/pos/bug1357.scala +++ b/test/pending/pos/bug1357.scala |