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/arith/arith_ite_utils.cpp | |
| parent | c41bf292ac91bfa08ec54a2af3f8a9c6df71c2b1 (diff) | |
Fixing name changes that cam in from the merge.
Diffstat (limited to 'src/theory/arith/arith_ite_utils.cpp')
| -rw-r--r-- | src/theory/arith/arith_ite_utils.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/arith/arith_ite_utils.cpp b/src/theory/arith/arith_ite_utils.cpp index 61bf5c76e..4f182fb69 100644 --- a/src/theory/arith/arith_ite_utils.cpp +++ b/src/theory/arith/arith_ite_utils.cpp @@ -120,7 +120,7 @@ Node ArithIteUtils::reduceVariablesInItes(Node n){ return Node::null(); } -ArithIteUtils::ArithIteUtils(ContainsTermITEVistor& contains, +ArithIteUtils::ArithIteUtils(ContainsTermITEVisitor& contains, context::Context* uc, TheoryModel* model) : d_contains(contains) |