diff options
author | Martin Odersky <odersky@gmail.com> | 2015-11-09 15:59:36 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-11-09 15:59:36 +0100 |
commit | b112b2b7c5caa11675242e7c79fe0461673e7668 (patch) | |
tree | ab7c8bca5ef89d2e1a073ab2eac3bd0eca41cde0 /bin | |
parent | 581960acfe3ff12e3e738ee5714f418d6baf90e7 (diff) | |
download | dotty-b112b2b7c5caa11675242e7c79fe0461673e7668.tar.gz dotty-b112b2b7c5caa11675242e7c79fe0461673e7668.tar.bz2 dotty-b112b2b7c5caa11675242e7c79fe0461673e7668.zip |
Print missing ref diagnostics on stderr
Was stdout, but this gets mixed up with the exception printing on stderr.
Diffstat (limited to 'bin')
0 files changed, 0 insertions, 0 deletions