#include "theory/arith/theory_arith.h"

namespace CVC4 {
  namespace theory {
    namespace arith {
      typedef TheoryArith TheoryARITH;
    }
  }
}