diff options
author | Andrew V. Jones <andrewvaughanj@gmail.com> | 2019-10-20 16:35:24 +0100 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2019-10-20 08:35:24 -0700 |
commit | 2bd74b751844230b82c58bfdd29666206562781d (patch) | |
tree | 8bb010e13df46fcd7f70cf56024765a39c08e53f /src/expr/symbol_table.h | |
parent | ba175a951064250907494b7b5112f3882889df5e (diff) |
Cleaning-up the declaration of wrapped functions/methods, which have no definitions (#3399)
Signed-off-by: Andrew V. Jones <andrewvaughanj@gmail.com>
Diffstat (limited to 'src/expr/symbol_table.h')
-rw-r--r-- | src/expr/symbol_table.h | 6 |
1 files changed, 0 insertions, 6 deletions
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. |