aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Odersky <odersky@gmail.com>2017-04-11 09:29:42 +0200
committerMartin Odersky <odersky@gmail.com>2017-04-11 14:11:58 +0200
commit48c37927bd95f5e6bb9f71d02def7e2fef125202 (patch)
tree73d57595f7a4547915ad2d5d0f41031f528bf9ee
parent0eb06db64b66a63d722ba580d5e94506febd9dc8 (diff)
downloaddotty-48c37927bd95f5e6bb9f71d02def7e2fef125202.tar.gz
dotty-48c37927bd95f5e6bb9f71d02def7e2fef125202.tar.bz2
dotty-48c37927bd95f5e6bb9f71d02def7e2fef125202.zip
Remove check file
-rw-r--r--tests/run/i2163.check1
1 files changed, 0 insertions, 1 deletions
diff --git a/tests/run/i2163.check b/tests/run/i2163.check
deleted file mode 100644
index 7f8f011eb..000000000
--- a/tests/run/i2163.check
+++ /dev/null
@@ -1 +0,0 @@
-7