1 files changed, 0 insertions, 70 deletions
diff --git a/src/parser/smt1/smt1_input.cpp b/src/parser/smt1/smt1_input.cpp
deleted file mode 100644
index b8f476687..000000000
--- a/src/parser/smt1/smt1_input.cpp
+++ /dev/null
@@ -1,70 +0,0 @@
-/*********************                                                        */
-/*! \file smt1_input.cpp
- ** \verbatim
- ** Top contributors (to current version):
- **   Morgan Deters, Christopher L. Conway
- ** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2019 by the authors listed in the file AUTHORS
- ** in the top-level source directory) and their institutional affiliations.
- ** All rights reserved.  See the file COPYING in the top-level source
- ** directory for licensing information.\endverbatim
- **
- ** \brief [[ Add file-specific comments here ]].
- **
- ** [[ Add file-specific comments here ]]
- **/
-
-#include "parser/smt1/smt1_input.h"
-
-#include <antlr3.h>
-
-#include "expr/expr_manager.h"
-#include "parser/input.h"
-#include "parser/parser.h"
-#include "parser/parser_exception.h"
-#include "parser/smt1/Smt1Lexer.h"
-#include "parser/smt1/Smt1Parser.h"
-
-namespace CVC4 {
-namespace parser {
-
-/* Use lookahead=2 */
-Smt1Input::Smt1Input(AntlrInputStream& inputStream) :
-  AntlrInput(inputStream, 2) {
-  pANTLR3_INPUT_STREAM input = inputStream.getAntlr3InputStream();
-  assert( input != NULL );
-
-  d_pSmt1Lexer = Smt1LexerNew(input);
-  if( d_pSmt1Lexer == NULL ) {
-    throw ParserException("Failed to create SMT lexer.");
-  }
-
-  setAntlr3Lexer( d_pSmt1Lexer->pLexer );
-
-  pANTLR3_COMMON_TOKEN_STREAM tokenStream = getTokenStream();
-  assert( tokenStream != NULL );
-
-  d_pSmt1Parser = Smt1ParserNew(tokenStream);
-  if( d_pSmt1Parser == NULL ) {
-    throw ParserException("Failed to create SMT parser.");
-  }
-
-  setAntlr3Parser(d_pSmt1Parser->pParser);
-}
-
-
-Smt1Input::~Smt1Input() {
-  d_pSmt1Lexer->free(d_pSmt1Lexer);
-  d_pSmt1Parser->free(d_pSmt1Parser);
-}
-
-Command* Smt1Input::parseCommand() {
-  return d_pSmt1Parser->parseCommand(d_pSmt1Parser);
-}
-
-Expr Smt1Input::parseExpr() {
-  return d_pSmt1Parser->parseExpr(d_pSmt1Parser);
-}
-
-}/* CVC4::parser namespace */
-}/* CVC4 namespace */