Improve accuracy of stats for sygus sampler (#1755)

1 files changed, 2 insertions, 6 deletions

diff --git a/src/theory/quantifiers/dynamic_rewrite.h b/src/theory/quantifiers/dynamic_rewrite.h
index 388173829..56f591470 100644
--- a/src/theory/quantifiers/dynamic_rewrite.h
+++ b/src/theory/quantifiers/dynamic_rewrite.h
@@ -57,12 +57,8 @@ class DynamicRewriter
  public:
   DynamicRewriter(const std::string& name, QuantifiersEngine* qe);
   ~DynamicRewriter() {}
-  /** inform this class that the equality a = b holds.
-   *
-   * This function returns true if this class did not already know that
-   * a = b based on the previous equalities it has seen.
-   */
-  bool addRewrite(Node a, Node b);
+  /** inform this class that the equality a = b holds. */
+  void addRewrite(Node a, Node b);
   /**
    * Check whether this class knows that the equality a = b holds.
    */