From 2db2767e7a174dfef4d41ccab99e0be49703a1e9 Mon Sep 17 00:00:00 2001 From: Nuno Lopes Date: Sun, 14 Feb 2021 23:30:27 +0000 Subject: [PATCH] remove unused method in preparation for a bigger storm :) --- src/ast/ast.h | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/ast/ast.h b/src/ast/ast.h index c109db598..f3b813fb0 100644 --- a/src/ast/ast.h +++ b/src/ast/ast.h @@ -1667,8 +1667,6 @@ public: bool are_equal(expr * a, expr * b) const; bool are_distinct(expr * a, expr * b) const; - - bool contains(ast * a) const { return m_ast_table.contains(a); } bool is_lambda_def(quantifier* q) const { return q->get_qid() == m_lambda_def; } void add_lambda_def(func_decl* f, quantifier* q);