diff options
Diffstat (limited to 'src/theory/ite_utilities.cpp')
-rw-r--r-- | src/theory/ite_utilities.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/ite_utilities.cpp b/src/theory/ite_utilities.cpp index dcb75a44a..20464b14e 100644 --- a/src/theory/ite_utilities.cpp +++ b/src/theory/ite_utilities.cpp @@ -1028,7 +1028,7 @@ Node ITESimplifier::intersectConstantIte(TNode lcite, TNode rcite){ Node bothHold = lefteq.andNode(righteq); nb << bothHold; } - Node result = (nb.getNumChildren() >= 1) ? (Node)nb : nb[0]; + Node result = (nb.getNumChildren() > 1) ? (Node)nb : nb[0]; return result; } } |