diff options
Diffstat (limited to 'src/printer/printer.cpp')
| -rw-r--r-- | src/printer/printer.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/printer/printer.cpp b/src/printer/printer.cpp index cacdd6694..28471de72 100644 --- a/src/printer/printer.cpp +++ b/src/printer/printer.cpp @@ -77,8 +77,7 @@ unique_ptr<Printer> Printer::makePrinter(OutputLanguage lang) return unique_ptr<Printer>( new printer::cvc::CvcPrinter(/* cvc3-mode = */ true)); - default: - Unhandled(lang); + default: Unhandled() << lang; } } |