diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2015-06-13 13:23:07 -0700 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2015-06-13 13:23:07 -0700 |
| commit | b66afc0f672c46c9705284459674efc5a857106a (patch) | |
| tree | 2c02274ec2e24a28de5916a9eb2895da98ec2649 /src/theory/ite_utilities.cpp | |
| parent | 393d567aa6dc22cb3f4b858d84201cf7920c872d (diff) | |
Fixed bug in iteSimp
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; } } |