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