1 files changed, 0 insertions, 37 deletions
diff --git a/src/parser/cvc/cvc.cpp b/src/parser/cvc/cvc.cpp
deleted file mode 100644
index 0f87e42cd..000000000
--- a/src/parser/cvc/cvc.cpp
+++ /dev/null
@@ -1,37 +0,0 @@
-/******************************************************************************
- * Top contributors (to current version):
- *   Andrew Reynolds, Andres Noetzli
- *
- * This file is part of the cvc5 project.
- *
- * Copyright (c) 2009-2021 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.
- * ****************************************************************************
- *
- * The parser class for the CVC language.
- */
-
-#include "parser/cvc/cvc.h"
-#include "smt/command.h"
-
-namespace cvc5 {
-namespace parser {
-
-void Cvc::forceLogic(const std::string& logic)
-{
-  Parser::forceLogic(logic);
-  preemptCommand(new SetBenchmarkLogicCommand(logic));
-}
-
-bool Cvc::getTesterName(api::Term cons, std::string& name)
-{
-  std::stringstream ss;
-  ss << "is_" << cons;
-  name = ss.str();
-  return true;
-}
-
-}  // namespace parser
-}  // namespace cvc5