From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Fri, 27 Jul 2018 15:56:01 +0000 (-0500)
Subject: Fix for candidate rewrite rule filtering. (#2220)
X-Git-Tag: cvc5-1.0.0~4851
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6a2abb85c96f973247a875229e84d91643894345;p=cvc5.git

Fix for candidate rewrite rule filtering. (#2220)
---

diff --git a/src/theory/quantifiers/candidate_rewrite_filter.cpp b/src/theory/quantifiers/candidate_rewrite_filter.cpp
index 68a3abe37..118c073a0 100644
--- a/src/theory/quantifiers/candidate_rewrite_filter.cpp
+++ b/src/theory/quantifiers/candidate_rewrite_filter.cpp
@@ -214,7 +214,7 @@ void CandidateRewriteFilter::initialize(SygusSampler* ss,
                                         bool useSygusType)
 {
   d_ss = ss;
-  d_use_sygus_type = false;
+  d_use_sygus_type = useSygusType;
   d_tds = tds;
   // initialize members of this class
   d_match_trie.clear();