From 72986ccf378dcdbede11d93c70601fdcc5b438ed Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Fri, 3 Mar 2017 10:33:03 -0600
Subject: Another minor fix for sets related to sharing + finite element types.

---
 src/theory/sets/theory_sets_private.cpp | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src')

diff --git a/src/theory/sets/theory_sets_private.cpp b/src/theory/sets/theory_sets_private.cpp
index 5550ee1b0..7d2bbf3d1 100644
--- a/src/theory/sets/theory_sets_private.cpp
+++ b/src/theory/sets/theory_sets_private.cpp
@@ -532,6 +532,9 @@ void TheorySetsPrivate::fullEffortCheck(){
       if( tn.isSet() ){
         isSet = true;
         d_set_eqc.push_back( eqc );
+        if( d_equalityEngine.isTriggerTerm(eqc, THEORY_SETS) ){
+          d_set_eqc_relevant[eqc] = true;
+        }
       }
       Trace("sets-eqc") << "[" << eqc << "] : ";
       eq::EqClassIterator eqc_i = eq::EqClassIterator( eqc, &d_equalityEngine );
-- 
cgit v1.2.3