diff options
| author | Guy <katz911@gmail.com> | 2016-06-20 10:17:04 -0700 |
|---|---|---|
| committer | Guy <katz911@gmail.com> | 2016-06-20 10:17:04 -0700 |
| commit | 4b8972fec229012812bb7edc9e315c2e54f7c059 (patch) | |
| tree | 930d63632dc3eb3e945967dee4e442b76c26ee3a /src/theory/quantifiers/quant_util.cpp | |
| parent | 150863561376c8cb7b170793f693352eab582ba9 (diff) | |
| parent | dc27675a9b9aa0346122390afdb28280f4495e9c (diff) | |
Merge branch 'master' of https://github.com/CVC4/CVC4
Diffstat (limited to 'src/theory/quantifiers/quant_util.cpp')
| -rw-r--r-- | src/theory/quantifiers/quant_util.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/quant_util.cpp b/src/theory/quantifiers/quant_util.cpp index 437f1bddf..b9aab0236 100644 --- a/src/theory/quantifiers/quant_util.cpp +++ b/src/theory/quantifiers/quant_util.cpp @@ -382,7 +382,7 @@ void QuantPhaseReq::computePhaseReqs( Node n, bool polarity, std::map< Node, int } void QuantPhaseReq::getPolarity( Node n, int child, bool hasPol, bool pol, bool& newHasPol, bool& newPol ) { - if( n.getKind()==AND || n.getKind()==OR ){ + if( n.getKind()==AND || n.getKind()==OR || n.getKind()==SEP_STAR ){ newHasPol = hasPol; newPol = pol; }else if( n.getKind()==IMPLIES ){ |