diff options
Diffstat (limited to 'src/expr')
-rw-r--r-- | src/expr/symbol_table.cpp | 2 | ||||
-rw-r--r-- | src/expr/symbol_table.h | 6 |
2 files changed, 0 insertions, 8 deletions
diff --git a/src/expr/symbol_table.cpp b/src/expr/symbol_table.cpp index c14143ef1..deaf781f4 100644 --- a/src/expr/symbol_table.cpp +++ b/src/expr/symbol_table.cpp @@ -360,8 +360,6 @@ class SymbolTable::Implementation { void bindType(const string& name, const vector<Type>& params, Type t, bool levelZero = false); bool isBound(const string& name) const; - bool isBoundDefinedFunction(const string& name) const; - bool isBoundDefinedFunction(Expr func) const; bool isBoundType(const string& name) const; Expr lookup(const string& name) const; Type lookupType(const string& name) const; diff --git a/src/expr/symbol_table.h b/src/expr/symbol_table.h index 868106a19..8f3b0ec1b 100644 --- a/src/expr/symbol_table.h +++ b/src/expr/symbol_table.h @@ -109,12 +109,6 @@ class CVC4_PUBLIC SymbolTable { bool isBound(const std::string& name) const; /** - * Check whether an Expr was bound to a function (i.e., was the - * second arg to bindDefinedFunction()). - */ - bool isBoundDefinedFunction(Expr func) const; - - /** * Check whether a name is bound to a type (or type constructor). * * @param name the identifier to check. |