diff options
author | Martin Odersky <odersky@gmail.com> | 2017-02-08 21:04:58 +1100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2017-02-08 21:04:58 +1100 |
commit | 937cca038ad18a10e5b759c0a4e53578032fac7c (patch) | |
tree | 0894bba1fb4bcc85fb806355273f80ddebc85573 | |
parent | b41deb5920cd5bd19448bf372433d06f3d6ba43b (diff) | |
download | dotty-937cca038ad18a10e5b759c0a4e53578032fac7c.tar.gz dotty-937cca038ad18a10e5b759c0a4e53578032fac7c.tar.bz2 dotty-937cca038ad18a10e5b759c0a4e53578032fac7c.zip |
Add output check file
-rw-r--r-- | tests/run/t10170.check | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/run/t10170.check b/tests/run/t10170.check new file mode 100644 index 000000000..29d6383b5 --- /dev/null +++ b/tests/run/t10170.check @@ -0,0 +1 @@ +100 |