diff options
-rw-r--r-- | test/files/run/t1423.check (renamed from test/files/run/t1424.check) | 0 | ||||
-rw-r--r-- | test/files/run/t1423.scala (renamed from test/files/run/t1424.scala) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/test/files/run/t1424.check b/test/files/run/t1423.check index d00491fd7e..d00491fd7e 100644 --- a/test/files/run/t1424.check +++ b/test/files/run/t1423.check diff --git a/test/files/run/t1424.scala b/test/files/run/t1423.scala index 83c35a46bd..83c35a46bd 100644 --- a/test/files/run/t1424.scala +++ b/test/files/run/t1423.scala |