Fixing name changes that cam in from the merge.

1 files changed, 3 insertions, 3 deletions

diff --git a/src/theory/arith/arith_ite_utils.h b/src/theory/arith/arith_ite_utils.h
index fab0f32cb..5bdcd52da 100644
--- a/src/theory/arith/arith_ite_utils.h
+++ b/src/theory/arith/arith_ite_utils.h
@@ -18,14 +18,14 @@
 
 namespace CVC4 {
 namespace theory {
-class ContainsTermITEVistor;
+class ContainsTermITEVisitor;
 class SubstitutionMap;
 class TheoryModel;
 
 namespace arith {
 
 class ArithIteUtils {
-  ContainsTermITEVistor& d_contains;
+  ContainsTermITEVisitor& d_contains;
   SubstitutionMap* d_subs;
   TheoryModel* d_model;
 
@@ -56,7 +56,7 @@ class ArithIteUtils {
   std::vector<Node> d_orBinEqs;
 
 public:
-  ArithIteUtils(ContainsTermITEVistor& contains,
+  ArithIteUtils(ContainsTermITEVisitor& contains,
                 context::Context* userContext,
                 TheoryModel* model);
   ~ArithIteUtils();