diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-05-02 20:07:36 -0700 |
|---|---|---|
| committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-05-02 22:07:36 -0500 |
| commit | bc40dbf0d808a3e30b721ef04b985b3e594a88bd (patch) | |
| tree | 018c21da51e5aa0b63be0e48af54d48e876565b6 /src/printer/printer.cpp | |
| parent | 5ed0a1b8dd73e339189df1556fa4bdbf95767245 (diff) | |
Remove (dummy) SMT1 printer (#1854)
Diffstat (limited to 'src/printer/printer.cpp')
| -rw-r--r-- | src/printer/printer.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/printer/printer.cpp b/src/printer/printer.cpp index f9486f017..439649725 100644 --- a/src/printer/printer.cpp +++ b/src/printer/printer.cpp @@ -21,7 +21,6 @@ #include "options/language.h" #include "printer/ast/ast_printer.h" #include "printer/cvc/cvc_printer.h" -#include "printer/smt1/smt1_printer.h" #include "printer/smt2/smt2_printer.h" #include "printer/tptp/tptp_printer.h" @@ -36,9 +35,6 @@ unique_ptr<Printer> Printer::makePrinter(OutputLanguage lang) using namespace CVC4::language::output; switch(lang) { - case LANG_SMTLIB_V1: // TODO the printer - return unique_ptr<Printer>(new printer::smt1::Smt1Printer()); - case LANG_SMTLIB_V2_0: return unique_ptr<Printer>( new printer::smt2::Smt2Printer(printer::smt2::smt2_0_variant)); |