Fix issue in cegqi related to enum (#3265)

diff --git a/src/theory/quantifiers/cegqi/ceg_instantiator.cpp b/src/theory/quantifiers/cegqi/ceg_instantiator.cpp
index 67985527e82d2bde580a33bd921047baffe19570..104e40d8b9539e9874f9060ce9d7ed7f11a738a6 100644 (file)
--- a/src/theory/quantifiers/cegqi/ceg_instantiator.cpp
+++ b/src/theory/quantifiers/cegqi/ceg_instantiator.cpp
@@ -77,7 +77,7 @@ CegTermType mkNegateCTT(CegTermType c)
 }
 bool isStrictCTT(CegTermType c)
 {
-  return c == CEG_TT_LOWER_STRICT && c == CEG_TT_UPPER_STRICT;
+  return c == CEG_TT_LOWER_STRICT || c == CEG_TT_UPPER_STRICT;
 }
 bool isLowerBoundCTT(CegTermType c)
 {