various fixes and updates to use and support parser

1 files changed, 0 insertions, 9 deletions

diff --git a/src/expr/expr.cpp b/src/expr/expr.cpp
index e25cf8595..f94a3c438 100644
--- a/src/expr/expr.cpp
+++ b/src/expr/expr.cpp
@@ -86,13 +86,4 @@ Expr Expr::xorExpr(const Expr& right) const {
   return ExprBuilder(*this).xorExpr(right);
 }
 
-Expr Expr::skolemExpr(int i) const {
-  return ExprBuilder(*this).skolemExpr(i);
-}
-
-Expr Expr::substExpr(const std::vector<Expr>& oldTerms,
-                     const std::vector<Expr>& newTerms) const {
-  return ExprBuilder(*this).substExpr(oldTerms, newTerms);
-}
-
 }/* CVC4 namespace */