diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-02-12 12:50:05 +0100 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2015-03-18 11:11:00 +0100 |
| commit | 5ae8b128eb3e694c3fbb83124371a9bbb9d698fe (patch) | |
| tree | 18deff400fd767e6ebc567f4163a3a5d4eaf7ceb /src/dotty/tools/dotc/config | |
| parent | ecb758206e6fddcca66a8aad5e45c9cf62f183f6 (diff) | |
| download | dotty-5ae8b128eb3e694c3fbb83124371a9bbb9d698fe.tar.gz dotty-5ae8b128eb3e694c3fbb83124371a9bbb9d698fe.tar.bz2 dotty-5ae8b128eb3e694c3fbb83124371a9bbb9d698fe.zip | |
Make pickling output printer-dependent.
Diffstat (limited to 'src/dotty/tools/dotc/config')
| -rw-r--r-- | src/dotty/tools/dotc/config/Printers.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/config/Printers.scala b/src/dotty/tools/dotc/config/Printers.scala index f8d7f8de5..d1738ee6f 100644 --- a/src/dotty/tools/dotc/config/Printers.scala +++ b/src/dotty/tools/dotc/config/Printers.scala @@ -30,4 +30,5 @@ object Printers { val config = noPrinter val transforms = noPrinter val cyclicErrors = noPrinter + val pickling = noPrinter }
\ No newline at end of file |