From b99e0654867bdc40d9c3d30779c0f800d410ea54 Mon Sep 17 00:00:00 2001
From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Mon, 9 Sep 2019 12:47:23 -0500
Subject: [PATCH] Fix issue in cegqi related to enum (#3265)

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

diff --git a/src/theory/quantifiers/cegqi/ceg_instantiator.cpp b/src/theory/quantifiers/cegqi/ceg_instantiator.cpp
index 67985527e..104e40d8b 100644
--- 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)
 {
-- 
2.30.2