diff options
Diffstat (limited to 'src/include/cvc4_expr.h')
| -rw-r--r-- | src/include/cvc4_expr.h | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/src/include/cvc4_expr.h b/src/include/cvc4_expr.h index d99708991..863097123 100644 --- a/src/include/cvc4_expr.h +++ b/src/include/cvc4_expr.h @@ -74,9 +74,6 @@ public: Expr iffExpr(const Expr& right) const; Expr impExpr(const Expr& right) const; Expr xorExpr(const Expr& right) const; - Expr skolemExpr(int i) const; - Expr substExpr(const std::vector<Expr>& oldTerms, - const std::vector<Expr>& newTerms) const; Expr plusExpr(const Expr& right) const; Expr uMinusExpr() const; |