3 files changed, 0 insertions, 9 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.
diff --git a/src/options/options.h b/src/options/options.h
index a21ce4583..3f758e392 100644
--- a/src/options/options.h
+++ b/src/options/options.h
@@ -227,7 +227,6 @@ public:
   bool getVersion() const;
   bool getWaitToJoin() const;
   const std::string& getForceLogicString() const;
-  const std::vector<std::string>& getThreadArgv() const;
   int getVerbosity() const;
   std::istream* getIn() const;
   std::ostream* getErr();