From 6a2abb85c96f973247a875229e84d91643894345 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Fri, 27 Jul 2018 10:56:01 -0500
Subject: [PATCH] Fix for candidate rewrite rule filtering. (#2220)

---
 src/theory/quantifiers/candidate_rewrite_filter.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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();
-- 
2.30.2