From bc40dbf0d808a3e30b721ef04b985b3e594a88bd Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Wed, 2 May 2018 20:07:36 -0700 Subject: Remove (dummy) SMT1 printer (#1854) --- src/printer/printer.cpp | 4 ---- 1 file changed, 4 deletions(-) (limited to 'src/printer/printer.cpp') 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::makePrinter(OutputLanguage lang) using namespace CVC4::language::output; switch(lang) { - case LANG_SMTLIB_V1: // TODO the printer - return unique_ptr(new printer::smt1::Smt1Printer()); - case LANG_SMTLIB_V2_0: return unique_ptr( new printer::smt2::Smt2Printer(printer::smt2::smt2_0_variant)); -- cgit v1.2.3