1 files changed, 0 insertions, 5 deletions
diff --git a/src/api/cvc4cpp.h b/src/api/cvc4cpp.h
index 3317348fe..db29359c5 100644
--- a/src/api/cvc4cpp.h
+++ b/src/api/cvc4cpp.h
@@ -1412,11 +1412,6 @@ class CVC4_PUBLIC DatatypeConstructor
   Term getTesterTerm() const;
 
   /**
-   * @return the tester name for this Datatype constructor.
-   */
-  std::string getTesterName() const;
-
-  /**
    * @return the number of selectors (so far) of this Datatype constructor.
    */
   size_t getNumSelectors() const;