Review of trunk r4525 (TypeNode::getBaseType()):

* fixed TypeNode::getBaseType() for predicate subtypes
* added Type::getBaseType() for public interface
* added unit testing

To avoid confusion, also:

* renamed PredicateType::getBaseType() to "getParentType()"
* renamed TypeNode::getSubtypeBaseType() to "getSubtypeParentType()"

(this commit was certified error- and warning-free by the test-and-commit script.)

1 files changed, 1 insertions, 1 deletions

diff --git a/src/theory/theory.h b/src/theory/theory.h
index 195e37154..9cc5058cc 100644
--- a/src/theory/theory.h
+++ b/src/theory/theory.h
@@ -308,7 +308,7 @@ public:
     Trace("theory::internal") << "theoryOf(" << typeNode << ")" << std::endl;
     TheoryId id;
     while (typeNode.isPredicateSubtype()) {
-      typeNode = typeNode.getSubtypeBaseType();
+      typeNode = typeNode.getSubtypeParentType();
     }
     if (typeNode.getKind() == kind::TYPE_CONSTANT) {
       id = typeConstantToTheoryId(typeNode.getConst<TypeConstant>());