diff options
Diffstat (limited to 'compiler/src/dotty/tools/dotc/config/Printers.scala')
-rw-r--r-- | compiler/src/dotty/tools/dotc/config/Printers.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/src/dotty/tools/dotc/config/Printers.scala b/compiler/src/dotty/tools/dotc/config/Printers.scala index 002d0f933..a77607d18 100644 --- a/compiler/src/dotty/tools/dotc/config/Printers.scala +++ b/compiler/src/dotty/tools/dotc/config/Printers.scala @@ -31,4 +31,5 @@ object Printers { val cyclicErrors: Printer = noPrinter val pickling: Printer = noPrinter val inlining: Printer = noPrinter + val exhaustivity: Printer = noPrinter } |