1 files changed, 0 insertions, 61 deletions
diff --git a/src/options/options.h b/src/options/options.h
index b561b3426..e0f68a182 100644
--- a/src/options/options.h
+++ b/src/options/options.h
@@ -54,18 +54,6 @@ class CVC4_PUBLIC Options {
   /** Listeners for notifyBeforeSearch. */
   ListenerCollection d_beforeSearchListeners;
 
-  /** Listeners for options::tlimit. */
-  ListenerCollection d_tlimitListeners;
-
-  /** Listeners for options::tlimit-per. */
-  ListenerCollection d_tlimitPerListeners;
-
-  /** Listeners for options::rlimit. */
-  ListenerCollection d_rlimitListeners;
-
-  /** Listeners for options::tlimit-per. */
-  ListenerCollection d_rlimitPerListeners;
-
   /** Listeners for options::defaultExprDepth. */
   ListenerCollection d_setDefaultExprDepthListeners;
 
@@ -324,55 +312,6 @@ public:
       Listener* listener);
 
   /**
-   * Registers a listener for options::tlimit being set.
-   *
-   * If notifyIfSet is true, this calls notify on the listener
-   * if the option was set by the user.
-   *
-   * The memory for the Registration is controlled by the user and must
-   * be destroyed before the Options object is.
-   */
-  ListenerCollection::Registration* registerTlimitListener(
-      Listener* listener, bool notifyIfSet);
-
-  /**
-   * Registers a listener for options::tlimit-per being set.
-   *
-   * If notifyIfSet is true, this calls notify on the listener
-   * if the option was set by the user.
-   *
-   * The memory for the Registration is controlled by the user and must
-   * be destroyed before the Options object is.
-   */
-  ListenerCollection::Registration* registerTlimitPerListener(
-      Listener* listener, bool notifyIfSet);
-
-
-  /**
-   * Registers a listener for options::rlimit being set.
-   *
-   * If notifyIfSet is true, this calls notify on the listener
-   * if the option was set by the user.
-   *
-   * The memory for the Registration is controlled by the user and must
-   * be destroyed before the Options object is.
-   */
-  ListenerCollection::Registration* registerRlimitListener(
-      Listener* listener, bool notifyIfSet);
-
-  /**
-   * Registers a listener for options::rlimit-per being set.
-   *
-   * If notifyIfSet is true, this calls notify on the listener
-   * if the option was set by the user.
-   *
-   * The memory for the Registration is controlled by the user and must
-   * be destroyed before the Options object is.
-   */
-  ListenerCollection::Registration* registerRlimitPerListener(
-      Listener* listener, bool notifyIfSet);
-
-  /**
    * Registers a listener for options::defaultExprDepth being set.
    *
    * If notifyIfSet is true, this calls notify on the listener