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 68a3abe372a2b3925cd7e278acd4762ca2393088..118c073a084074b759d492076248ca58bce494f8 100644 (file)
--- 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();