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 7d17a27a1..6237c8744 100644 --- a/src/printer/printer.cpp +++ b/src/printer/printer.cpp @@ -45,8 +45,7 @@ unique_ptr<Printer> Printer::makePrinter(OutputLanguage lang) case LANG_TPTP: return unique_ptr<Printer>(new printer::tptp::TptpPrinter()); - case LANG_CVC4: - return unique_ptr<Printer>(new printer::cvc::CvcPrinter()); + case LANG_CVC: return unique_ptr<Printer>(new printer::cvc::CvcPrinter()); case LANG_SYGUS_V2: // sygus version 2.0 does not have discrepancies with smt2, hence we use |