diff options
Diffstat (limited to 'tests')
-rw-r--r-- | tests/pos/z1720.scala (renamed from tests/pending/pos/z1720.scala) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tests/pending/pos/z1720.scala b/tests/pos/z1720.scala index 7394d428c..7394d428c 100644 --- a/tests/pending/pos/z1720.scala +++ b/tests/pos/z1720.scala |