From: Andrew V. Jones <andrew.jones@vector.com>
Date: Thu, 18 Jul 2019 23:41:42 +0000 (+0100)
Subject: Removing forward-declaration of undefined function 'registerForceLogicListener' ... 
X-Git-Tag: cvc5-1.0.0~4088
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d5ed6a659eaa801fbbd82efc31f03d575351b6ec;p=cvc5.git

Removing forward-declaration of undefined function 'registerForceLogicListener' (#3086)
---

diff --git a/src/options/options.h b/src/options/options.h
index 1fc7ed51a..56b92359b 100644
--- a/src/options/options.h
+++ b/src/options/options.h
@@ -348,19 +348,6 @@ public:
   ListenerCollection::Registration* registerBeforeSearchListener(
       Listener* listener);
 
-
-  /**
-   * Registers a listener for options::forceLogic 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* registerForceLogicListener(
-      Listener* listener, bool notifyIfSet);
-
   /**
    * Registers a listener for options::tlimit being set.
    *