diff options
| author | Tim King <taking@cs.nyu.edu> | 2014-03-08 14:42:35 -0500 |
|---|---|---|
| committer | Tim King <taking@cs.nyu.edu> | 2014-03-08 14:42:35 -0500 |
| commit | 0f47a28a18bb9a599514e199d355b8e793cf06de (patch) | |
| tree | 86b217cb1889d8d6ad5411f7f4e02994d4e3bef1 /src/theory/theory_engine.cpp | |
| parent | c41bf292ac91bfa08ec54a2af3f8a9c6df71c2b1 (diff) | |
Fixing name changes that cam in from the merge.
Diffstat (limited to 'src/theory/theory_engine.cpp')
| -rw-r--r-- | src/theory/theory_engine.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/theory_engine.cpp b/src/theory/theory_engine.cpp index 2a263857a..80d1152da 100644 --- a/src/theory/theory_engine.cpp +++ b/src/theory/theory_engine.cpp @@ -1492,7 +1492,7 @@ bool TheoryEngine::donePPSimpITE(std::vector<Node>& assertions){ // Do theory specific preprocessing passes if(d_logicInfo.isTheoryEnabled(theory::THEORY_ARITH)){ if(!simpDidALotOfWork){ - ContainsTermITEVistor& contains = *d_iteRemover.getContainsVisitor(); + ContainsTermITEVisitor& contains = *d_iteRemover.getContainsVisitor(); arith::ArithIteUtils aiteu(contains, d_userContext, getModel()); bool anyItes = false; for(size_t i = 0; i < assertions.size(); ++i){ |